Detection of Inconsistent Contracts Through Modular Verification

Original language	English
Title of host publication	Detection of Inconsistent Contracts Through Modular Verification
Pages	206-220
Number of pages	15
ISBN (Electronic)	978-3-030-14687-0
DOIs	https://doi.org/10.1007/978-3-030-14687-0_19
Publication status	Published - 2020
Externally published	Yes

Name	Proceedings of 6th International Conference in Software Engineering for Defence Applications
Volume	925
ISSN (Print)	2194-5357
ISSN (Electronic)	2194-5365

AutoProof, Design by Contract, Eiffel, Inconsistent contract, Specification drivers

ID: 65525948