44 search results - page 1 / 9 » Component Verification with Automatically Generated Assumpti... |
ASE
2005
13 years 5 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
JSS
2006
13 years 5 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
ICSE
2004
IEEE-ACM
14 years 5 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...
KBSE
2002
IEEE
13 years 10 months ago
2002
IEEE
FMSD
2008
13 years 5 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...