Back to Results
First PageMeta Content
Model checkers / Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Model checking / Search algorithms / Formal verification / SPIN model checker / Verification / Swarm behaviour / Promela


Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract
Add to Reading List

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


Open Document

File Size: 101,86 KB

Share Result on Facebook
UPDATE