Search Sciweavers | Sciweavers

5015 search results - page 175 / 1003

» Model Checking a Path

172

click to vote

FM
2003
Springer

98views Formal Methods» more FM 2003»

Generating Counterexamples for Multi-valued Model-Checking

15 years 11 months ago

Download www.cs.toronto.edu

Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

118

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 11 months ago

Download www.ulb.ac.be

Véronique Bruyère, Jean-Franç...

claim paper

Read More »

105

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

145

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

15 years 10 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

157

click to vote

CAV
2001
Springer

97views Hardware» more CAV 2001»

Symmetry and Reduced Symmetry in Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers