Model Checking Software
Subtitle: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 19, 2005
Language: eng
Format: Paperback
Number of pages: 289
ISBN-13: 9783540281955
Subjects: Software engineering; Logic Design; Computers; Computers - Languages / Programming; Computer Books: Languages; Programming - Software Development; Programming Languages - General; Computers / Programming / Software Development; abstract interpretation; abstraction; explicit model checking; formal methods; formal specification; formal verification; modal verification; mu calculus; Computer software; Congresses; SPIN (Computer file); Verification