A Case Study in Domain-Customized Model Checking for Real-Time Component Software.

Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff

Browse the full ISoLA paper archive.