|
Bogor: Flexible Framework for Creating Software Model Checkers |
- Bogor: A Flexible Framework for Creating Software Model Checkers, June 2006.
Robby, Matthew B. Dwyer, John Hatcliff.
In the Proceedings of Testing: Academic & Industrial Conference - Practice And Research Techniques.
Technical Report, SAnToS-TR2006-2.
pdf (Last updated: June 15, 2006).
|
