Search Sciweavers | Sciweavers

502 search results - page 9 / 101

» Model Checking Timed Systems with Priorities

141

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 7 months ago

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »

127

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

15 years 6 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

109

click to vote

TACAS
2000
Springer

96views Algorithms» more TACAS 2000»

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

15 years 6 months ago

Download www.brics.dk

Fredrik Larsson, Paul Pettersson, Wang Yi

claim paper

Read More »

129

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 6 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

102

click to vote

EPEW
2010
Springer

165views Internet Technology» more EPEW 2010»

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers