601 search results - page 39 / 121 » Model Checking CTL Properties of Pushdown Systems |
124
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
129
click to vote
TSE
2010
14 years 8 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
132
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
121
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
ISVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...