Search Sciweavers | Sciweavers

950 search results - page 26 / 190

» Software model checking with SPIN

107

click to vote

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

15 years 8 months 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

15 years 7 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

111

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 7 months ago

Download www.fmi.uni-stuttgart.de

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

claim paper

Read More »

102

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers