Sciweavers

Share
2 search results - page 1 / 1
» Learning-Based Symbolic Assume-Guarantee Reasoning with Auto...
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
11 years 2 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
FMSD
2008
110views more  FMSD 2008»
10 years 10 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
books