202 search results - page 11 / 41 » From Model Checking to a Temporal Proof |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
CONCUR
1989
Springer
13 years 11 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
IJBC
2010
13 years 2 months ago
2010
In this paper, a discrete version of a reaction-diffusion equation, also known as coupled map lattice (CML), which corresponds to the Turing model of morphogenesis is studied. It i...