276 search results - page 26 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
124
click to vote
DFG
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
126
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
142
click to vote
EON
2008
15 years 2 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
127
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
201
click to vote
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...