First Page | Document Content | |
---|---|---|
![]() Date: 2008-06-30 15:34:28Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics | Add to Reading List |