601 search results - page 11 / 121 » Model Checking CTL Properties of Pushdown Systems |
138
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
149
Voted
CAV
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
162
click to vote
DBPL
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
144
click to vote
WOLLIC
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...