Back to Results
First PageMeta Content
Model checkers / Software engineering / Computing / Theoretical computer science / Model checking / Promela / Formal verification / SPIN model checker / Abstraction / Sizeof / Const


Tackling Large Software Verification Problems with Spin
Add to Reading List

Document Date: 2010-09-11 18:28:50

Open Document

File Size: 90,56 KB

Share Result on Facebook