Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning

ACM Transactions on Software Engineering and Methodology

Volumn 17, Issue 2, 2008, Pages

  Cobleigh, Jamieson M ^a,b,c   Avrunin, George S ^a,c   Clarke, Lori A ^a,c  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

^b MATHWORKS INC   (United States)

^c Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

Assume guarantee reasoning

Indexed keywords

ASSUME GUARANTEE REASONING; FINITE STATE VERIFICATION;

FINITE AUTOMATA; PROBLEM SOLVING; SYSTEMS ANALYSIS;

VERIFICATION;

EID: 43449095314     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1348250.1348253     Document Type: Conference Paper

References (59)