32 search results - page 1 / 7 » Automated Assume-Guarantee Reasoning by Abstraction Refineme... |
CAV
2008
Springer
13 years 6 months ago
2008
Springer
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
CAV
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...