|
Supporting Model Checking Education using BOGOR/Eclipse |
- Supporting Model Checking Education using BOGOR/Eclipse, August 2004.
Matthew B. Dwyer, John Hatcliff, Robby.
In the Proceedings of the 2004 OOPSLA Workshop on Eclipse
Technology eXchange (eTX/OOPSLA 2004).
Technical Report, SAnToS-TR2004-6.
pdf (Last updated: January 5, 2005). Software Model Checking: Theory and Practice website
|
