601 search results - page 18 / 121 » Model Checking CTL Properties of Pushdown Systems |
142
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
109
click to vote
ENTCS
2010
14 years 10 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
108
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
121
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
UC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...