IEEE - Institute of Electrical and Electronics Engineers, Inc. - OCRA: A tool for checking the refinement of temporal contracts

2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE)

Author(s): Alessandro Cimatti ; Michele Dorigatti ; Stefano Tonetta
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2013
Conference Location: Silicon Valley, CA, USA
Conference Date: 11 November 2013
Page(s): 702 - 705
ISBN (Electronic): 978-1-4799-0215-6
DOI: 10.1109/ASE.2013.6693137
Regular:

Contract-based design enriches a component model with properties structured in pairs of assumptions and guarantees. These properties are expressed in term of the variables at the interface of the... View More

Advertisement