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
|