Search Sciweavers | Sciweavers

950 search results - page 26 / 190

» Software model checking with SPIN

click to vote

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

14 years 28 days ago

Download www.csc.liv.ac.uk

Peter Saffrey, Muffy Calder

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

14 years 15 days ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

13 years 12 months ago

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

13 years 11 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers