142 search results - page 15 / 29 » Simultaneous SAT-Based Model Checking of Safety Properties |
TPHOL
1998
IEEE
15 years 1 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...
SIGSOFT
2004
ACM
15 years 3 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ļ¬...
105
click to vote
ICSE
2004
IEEE-ACM
15 years 9 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...
72
Voted
SPIN
2005
Springer
15 years 3 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...
TPHOL
2005
IEEE
15 years 3 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,...