Practical verification for the working programmer with CodeContracts and abstract interpretation

Francesco Logozzo
[doi] [Google Scholar] [DBLP] [Citeseer]

International Workshop on Verification, Model Checking, and Abstract Interpretation
Springer
Pages 19-22
2011
Topic(s): tools verification
Note(s): contract driven development

Contract driven development

Specification and verification: The Spec# experience [barnett:cacm:2011]

Practical verification for the working programmer with CodeContracts and abstract interpretation

Notes related to Practical verification for the working programmer with CodeContracts and abstract interpretation

Papers related to Practical verification for the working programmer with CodeContracts and abstract interpretation