601 search results - page 13 / 121 » Model Checking CTL Properties of Pushdown Systems |
138
Voted
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
128
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
182
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
128
click to vote
LFCS
2009
Springer
15 years 12 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
118
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...