142 search results - page 15 / 29 » Simultaneous SAT-Based Model Checking of Safety Properties |
153
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
137
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
177
Voted
ICSE
2004
IEEE-ACM
16 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...
132
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-ļ¬rst search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
128
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accelleraās property speciļ¬cation language PSL to linear temporal logic LTL. Moreover,...