First Page | Document Content | |
---|---|---|
![]() Date: 2002-06-24 05:00:37Science Model checking Software Model checkers Verification and validation PRISM model checker Abstraction Formal verification Formal methods Software development Software testing | Add to Reading List |