1108 search results - page 10 / 222 » Model Checking of Safety Properties |
96
Voted
ISSE
2010
14 years 10 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
73
Voted
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
113
Voted
ISSE
2007
15 years 8 days ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
84
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
92
Voted
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...