179 search results - page 2 / 36 » Learning to Verify Safety Properties |
CAV
1991
Springer
15 years 1 months ago
1991
Springer
68
Voted
CADE
2010
Springer
14 years 8 months ago
2010
Springer
ICSOC
2007
Springer
15 years 3 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
FSTTCS
2004
Springer
15 years 2 months ago
2004
Springer
ITC
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...