2661 search results - page 5 / 533 » Model Checking Performability Properties |
125
click to vote
ILC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
118
click to vote
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
124
click to vote
FSTTCS
2000
Springer
15 years 6 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 ...
159
click to vote
IJSEKE
2011
14 years 5 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
155
Voted
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...