601 search results - page 69 / 121 » Model Checking CTL Properties of Pushdown Systems |
114
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
134
click to vote
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
106
click to vote
ENTCS
2010
15 years 1 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
108
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
FAC
2008
15 years 1 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...