1463 search results - page 9 / 293 » Model Checking Implicit-Invocation Systems |
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
95
Voted
FSTTCS
2000
Springer
15 years 3 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
112
click to vote
AGTIVE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
90
Voted
BIRTHDAY
2007
Springer
15 years 5 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
102
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...