Sciweavers

2872 search results - page 150 / 575

» On (Omega-)Regular Model Checking

61

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 4 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

63

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 4 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

82

CAV
2004
Springer

86views Hardware» more CAV 2004»

MCK: Model Checking the Logic of Knowledge

15 years 4 months ago

MCK: Model Checking the Logic of Knowledge

Download www.cse.unsw.edu.au

Peter Gammie, Ron van der Meyden

claim paper

Read More »

74

CAV
2004
Springer

89views Hardware» more CAV 2004»

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

15 years 4 months ago

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

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

71

CAV
2004
Springer

104views Hardware» more CAV 2004»

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

15 years 4 months ago

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

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 »

« Prev « First page 150 / 575 Last » Next »