Papers related to The Spec# programming system: An overview
- Specification and verification: The Spec# experience [barnett:cacm:2011]
- Boogie: A modular reusable verifier for object-oriented programs [barnett:fmco:2005]
The Spec# programming system: An overview
Mike Barnett, K. Rustan M. Leino, Wolfram Schulte[doi] [Google Scholar] [DBLP] [Citeseer]
International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Springer
Pages 49-69
2004
Topic(s): tools verification
Note(s): spec-sharp-project
Springer
Pages 49-69
2004
Topic(s): tools verification
Note(s): spec-sharp-project