Notes related to Static contract checking with abstract interpretation
Papers related to Static contract checking with abstract interpretation
- Specification and verification: The Spec# experience [barnett:cacm:2011]
Static contract checking with abstract interpretation
Manuel Fähndrich, Francesco Logozzo[doi] [Google Scholar] [DBLP] [Citeseer]
International Conference on Formal Verification of Object-oriented Software
Springer
Pages 10-30
2010
Topic(s): tools verification
Note(s): contract driven development, abstract interpretation
Springer
Pages 10-30
2010
Topic(s): tools verification
Note(s): contract driven development, abstract interpretation