Model Checking Software View on Open Library

Model Checking Software

by Klaus Havelund , Rupak Majumdar , Jens Palsberg

No reviews yet
First published: 2008 1 language ISBN: 9783540851141

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Klaus Havelund

NASA Formal Methods

NASA Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing an...

SPIN Model Checking and Software Verification

SPIN Model Checking and Software Verific...

Formal Methods

Formal Methods

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Nasa Formal Methods Third International ...