Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts-Reference-Cited by-同舟云学术

Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts

Published:2023-09-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Yu Sheng-Jung¹^ORCID,Incer Inigo¹^ORCID,Sangiovanni-Vincentelli Alberto¹^ORCID

Affiliation:

1. University of California, Berkeley, Berkeley, California, USA

Funder

DARPA LOGiCS

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3610579.3611088

Reference23 articles.

1. Abadi , M. , Lamport , L. : Composing specifications. ACM Transactions on Programming Languages and Systems (TOPLAS) 15(1), 73--132 ( 1993 ) Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems (TOPLAS) 15(1), 73--132 (1993)

2. Abadi , M. , Lamport , L. , Wolper , P. : Realizable and unrealizable specifications of reactive systems. In : International Colloquium on Automata, Languages, and Programming . pp. 1 -- 17 ( 1989 ) Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: International Colloquium on Automata, Languages, and Programming. pp. 1--17 (1989)

3. Benveniste , A. , Caillaud , B. , Ferrari , A. , Mangeruca , L. , Passerone , R. , Sofronis , C. : Multiple viewpoint contract-based specification and design . In: International Symposium on Formal Methods for Components and Objects. pp. 200 -- 225 ( 2007 ) Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: International Symposium on Formal Methods for Components and Objects. pp. 200--225 (2007)

4. Benveniste , A. , Caillaud , B. , Nickovic , D. , Passerone , R. , Raclet , J.B. , Reinkemeier , P. , Sangiovanni-Vincentelli , A. , Damm , W. , Henzinger , T.A. , Larsen , K.G. : Contracts for system design. Foundations and Trends® in Electronic Design Automation 1 2( 2 -- 3 ), 124--400 (2018) Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T.A., Larsen, K.G.: Contracts for system design. Foundations and Trends® in Electronic Design Automation 12(2--3), 124--400 (2018)

5. OCRA: A tool for checking the refinement of temporal contracts