Spara
Model Checking Software
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.
- Undertitel
- 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
- Redaktör
- Matthew Dwyer
- Upplaga
- 2001 ed.
- ISBN
- 9783540421245
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2.5.2001
- Sidor
- 318
