Sciweavers

7 search results - page 1 / 2
» fmsd 2008
Sort
View
FMSD
2008
74views more  FMSD 2008»
13 years 3 months ago
Abstractions for hybrid systems
Ashish Tiwari
FMSD
2008
66views more  FMSD 2008»
13 years 3 months ago
Verification of evolving software via component substitutability analysis
Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, ...
FMSD
2008
110views more  FMSD 2008»
13 years 3 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