601 search results - page 73 / 121 » Model Checking CTL Properties of Pushdown Systems |
JCS
2002
15 years 1 months ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...
129
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
117
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
124
click to vote
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
133
click to vote
SCP
2010
14 years 12 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...