Detection of Inconsistent Contracts Through Modular Verification
- 19 March 2019
- book chapter
- Published by Springer Nature
- p. 206-220
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Complete Contracts through Specification Drivers2016
- Unifying Requirements and Code: An Example2016
- AutoProof: Auto-Active Functional Verification of Object-Oriented Programs2015
- Flexible Invariants through Semantic Collaboration2014
- On the number and nature of faults found by random testingSoftware Testing, Verification and Reliability, 2011
- Touch of Class2009
- Applying 'design by contract'Computer, 1992