Search Sciweavers | Sciweavers

10870 search results - page 255 / 2174

» Model Checking Programs

124

click to vote

FM
2003
Springer

98views Formal Methods» more FM 2003»

Generating Counterexamples for Multi-valued Model-Checking

15 years 7 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 »

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 7 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 7 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

103

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 6 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

112

click to vote

CAV
2001
Springer

97views Hardware» more CAV 2001»

Symmetry and Reduced Symmetry in Model Checking

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers