51 search results - page 1 / 11 » Assumption Generation for Software Component Verification |
KBSE
2002
IEEE
13 years 9 months ago
2002
IEEE
JSS
2006
13 years 4 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...
ASE
2005
13 years 4 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...
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...
AMAST
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...