IEEE - Institute of Electrical and Electronics Engineers, Inc. - When Do We (Not) Need Complex Assume-Guarantee Rules?

2015 15th International Conference on Application of Concurrency to System Design (ACSD)

Author(s): Antti Tapani Siirtola ; Stavros Tripakis ; Keijo Heljanko
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2015
Conference Location: Brussels, Belgium
Conference Date: 21 June 2015
Page(s): 30 - 39
ISBN (Electronic): 978-1-4673-7882-6
ISSN (Electronic): 1550-4808
DOI: 10.1109/ACSD.2015.19
Regular:

Assume-guarantee (AG) reasoning is a compositional verification method where a verification task involving many processes is broken into multiple verification tasks involving fewer and/or simpler... View More

Advertisement