Search Sciweavers | Sciweavers

231 search results - page 5 / 47

» Symbolic Model Checking for Event-Driven Real-Time Systems

click to vote

HYBRID
1995
Springer

142views Control Systems» more HYBRID 1995»

Diagnostic Model-Checking for Real-Time Systems

13 years 11 months ago

Download www.it.uu.se

Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

claim paper

Read More »

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

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

14 years 20 days ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

13 years 11 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

13 years 11 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

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)

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers