Search Sciweavers | Sciweavers

4341 search results - page 193 / 869

» Quantitative Model checking

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

14 years 4 months ago

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

click to vote

CAV
2004
Springer

104views Hardware» more CAV 2004»

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

14 years 4 months ago

Download rodin.cs.ncl.ac.uk

Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...

Claus Schröter, Victor Khomenko

claim paper

Read More »

click to vote

CONCUR
2004
Springer

98views Distributed And Parallel Com...» more CONCUR 2004»

Model Checking Restricted Sets of Timed Paths

14 years 4 months ago

Download www.lsv.ens-cachan.fr

In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...

Nicolas Markey, Jean-François Raskin

claim paper

Read More »

click to vote

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

14 years 4 months ago