First Page | Document Content | |
---|---|---|
![]() Date: 2010-09-11 18:44:46Model checkers Software testing Software engineering Concurrent computing Model checking Promela SPIN model checker Probability and statistics Statistical theory Random testing Java Pathfinder Actor model | Add to Reading List |