![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 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](https://www.pdfsearch.io/img/4c4359ee1e7eee6249ea7a3fc80e5ec9.jpg) Date: 2010-09-11 18:32:09Formal 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.govAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 213,84 KBShare Document on Facebook
|