|
A Case Study in Domain-customized Model Checking for Real-time Component Software |
- A Case Study in Domain-customized Model Checking for Real-time Component Software, July 2004.
Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer.
To appear in the Proceedings of the 1st International Symposium on Leveraging Applications of Formal Method (ISoLA 2004)
Technical Report, SAnToS-TR2004-4.
pdf (Last updated: July 11,
2004). Experimental Artifacts
|
