601 search results - page 32 / 121 » Model Checking CTL Properties of Pushdown Systems |
124
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
149
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
118
click to vote
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
119
click to vote
MEMOCODE
2010
IEEE
14 years 11 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
119
click to vote
PST
2008
15 years 2 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...