276 search results - page 11 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
176
Voted
ESOP
2003
Springer
16 years 18 days 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 ...
217
Voted
TACAS
2004
Springer
16 years 22 days 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 ...
194
click to vote
CAV
2003
Springer
16 years 18 days 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...
195
Voted
ISCIS
2004
Springer
16 years 23 days 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...
211
Voted
IFIP
2004
Springer
16 years 23 days 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...