Search Sciweavers | Sciweavers

1463 search results - page 30 / 293

» Model Checking Implicit-Invocation Systems

134

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 11 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

104

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 »

139

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 10 months ago

Download www.fmi.uni-stuttgart.de

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

claim paper

Read More »

154

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 10 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

172

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers