CAV
2005
Springer
13 years 10 months ago
2005
Springer
CAV
2005
Springer
13 years 10 months ago
2005
Springer
CAV
2005
Springer
13 years 10 months ago
2005
Springer
CAV
2005
Springer
13 years 10 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
CAV
2005
Springer
13 years 10 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
CAV
2005
Springer
13 years 10 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
CAV
2005
Springer
13 years 10 months ago
2005
Springer
CAV
2005
Springer
13 years 10 months ago
2005
Springer
CAV
2005
Springer
13 years 10 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
CAV
2005
Springer
13 years 10 months ago
2005
Springer