Back to Results
First PageMeta Content
Model checkers / Software engineering / Theoretical computer science / Formal methods / C / C++ / Sizeof / Model checking / Promela / Abstraction / Computing / Abstract interpretation


Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive
Add to Reading List

Document Date: 2010-09-11 18:26:03


Open Document

File Size: 119,39 KB

Share Result on Facebook