Sciweavers

FMSD
2010
61views more  FMSD 2010»
12 years 10 months ago
Doomed program points
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
FMSD
2010
62views more  FMSD 2010»
12 years 10 months ago
Scenario-based verification of real-time systems using Uppaal
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G...
FMSD
2010
128views more  FMSD 2010»
13 years 1 months ago
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications
Kai Lampka, Markus Siegle, Jörn Ossowski, Chr...
FMSD
2010
111views more  FMSD 2010»
13 years 1 months ago
Context-aware counter abstraction
aware counter abstraction G
Gérard Basler, Michele Mazzucchi, Thomas Wa...
FMSD
2010
93views more  FMSD 2010»
13 years 2 months ago
2009 CAV award announcement
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...
Randal E. Bryant, Orna Grumberg, Joseph Sifakis, M...
FMSD
2010
123views more  FMSD 2010»
13 years 2 months ago
Analog property checkers: a DDR2 case study
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
Kevin D. Jones, Victor Konrad, Dejan Nickovic
FMSD
2010
77views more  FMSD 2010»
13 years 2 months ago
A game-based abstraction-refinement framework for Markov decision processes
ASED ABSTRACTION-REFINEMENT FRAMEWORK FOR MARKOV DECISION PROCESSES Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker CL-RR-08-06  Oxford University Computing Laborator...
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm...
FMSD
2010
118views more  FMSD 2010»
13 years 2 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...