276 search results - page 11 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
102
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
96
Voted
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
101
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...