|
Space-Reduction Strategies for Model Checking Dynamic Systems |
- Space-Reduction Strategies for Model Checking Dynamic Systems, May 2003.
Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif.
In the Proceedings of 2003 Workshop on Software Model Checking (SoftMC 2003).
Technical Report, SAnToS-TR2003-5.
pdf (Last updated: August 7, 2003).
|
