First Page | Document Content | |
---|---|---|
![]() Date: 2010-09-11 18:30:09Model checkers Software engineering Computing Electronic engineering Theoretical computer science Model checking Swarm behaviour Formal methods Promela Swarm Software verification SPIN model checker | Add to Reading List |