Model checking software: 8th international spin workshop, toronto, canada, may 19-20, 2001 - proceedings
Auteur :
Dwyer, Matthew B.
ISBN :
9783540421245
Date de publication :
2 mai 2001
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
467 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This work constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.