601 search results - page 43 / 121 » Model Checking CTL Properties of Pushdown Systems |
133
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
134
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
ENTCS
2008
15 years 1 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
123
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...