179 search results - page 2 / 36 » Learning to Verify Safety Properties |
CAV
1991
Springer
13 years 9 months ago
1991
Springer
CADE
2010
Springer
13 years 4 months ago
2010
Springer
ICSOC
2007
Springer
13 years 12 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
13 years 11 months ago
2004
Springer
ITC
2002
IEEE
13 years 10 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...