Back to Results
First PageMeta Content
Model checkers / Software engineering / Computing / Electronic engineering / Theoretical computer science / Model checking / Swarm behaviour / Formal methods / Promela / Swarm / Software verification / SPIN model checker


Tackling Large Software Verification Problems with Spin
Add to Reading List

Document Date: 2010-09-11 18:30:09

Open Document

File Size: 74,88 KB

Share Result on Facebook
UPDATE