|
Space Reductions for Model Checking Quasi-Cyclic Systems |
- Space Reductions for Model Checking Quasi-Cyclic Systems, April 2003.
Matthew B. Dwyer, Robby, William Deng, John Hatcliff.
In the Proceedings of the Third International Conference on Embedded Software (EMSOFT 2003).
Technical Report, SAnToS-TR2003-4.
pdf (Last updated: July 28, 2003). case-studies
|
