Back to Results
First PageMeta Content
Model checkers / Software engineering / Computing / Model checking / Theoretical computer science / SPIN model checker / Stack / Promela / Exception handling / Device driver synthesis and verification


Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology
Add to Reading List

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


Open Document

File Size: 170,13 KB

Share Result on Facebook
UPDATE