CAV
2005
Springer
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 months ago
2005
Springer
CAV
2005
Springer
14 years 1 months ago
2005
Springer
CAV
2005
Springer
14 years 1 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
14 years 1 months ago
2005
Springer
CAV
2005
Springer
14 years 1 months ago
2005
Springer
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
CAV
2005
Springer
14 years 1 months ago
2005
Springer