Search Sciweavers | Sciweavers

862 search results - page 19 / 173

» Model Checking Interrupt-Dependent Software

118

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

15 years 11 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

103

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 10 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

122

Voted

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

15 years 10 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 10 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

129

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers