Sciweavers

CAV
2005
Springer
120views Hardware» more  CAV 2005»
14 years 5 months ago
Ymer: A Statistical Model Checker
Håkan L. S. Younes
CAV
2005
Springer
151views Hardware» more  CAV 2005»
14 years 5 months ago
Saturn: A SAT-Based Tool for Bug Detection
Yichen Xie, Alexander Aiken
CAV
2005
Springer
86views Hardware» more  CAV 2005»
14 years 5 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
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...
Eric Vecchié, Robert de Simone
CAV
2005
Springer
133views Hardware» more  CAV 2005»
14 years 5 months ago
On Statistical Model Checking of Stochastic Systems
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...
Koushik Sen, Mahesh Viswanathan, Gul Agha
CAV
2005
Springer
129views Hardware» more  CAV 2005»
14 years 5 months ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
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 ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
CAV
2005
Springer
114views Hardware» more  CAV 2005»
14 years 5 months ago
Bounded Model Checking of Concurrent Programs
Ishai Rabinovitz, Orna Grumberg
CAV
2005
Springer
101views Hardware» more  CAV 2005»
14 years 5 months ago
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...
CAV
2005
Springer
139views Hardware» more  CAV 2005»
14 years 5 months ago
The Orchids Intrusion Detection Tool
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...
Julien Olivain, Jean Goubault-Larrecq