Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Software engineering / Computing / Logic in computer science / Software testing / Model checking / Formal verification / Software verification / Flash memory / Verification / Software quality


New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov
Add to Reading List

Document Date: 2010-09-11 18:32:09


Open Document

File Size: 213,84 KB

Share Result on Facebook
UPDATE