Sciweavers

296 search results - page 11 / 60

» Linear Parametric Model Checking of Timed Automata

102

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 7 months ago

Model Checking via Reachability Testing for Timed Automata

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

74

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 2 months ago

Bounded Model Checking for Timed Automata

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

103

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 9 months ago

Model-Checking One-Clock Priced Timed Automata

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

139

CAV
2003
Springer

121views Hardware» more CAV 2003»

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

15 years 8 months ago

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

134

SIGSOFT
2007
ACM

167views Software Engineering» more SIGSOFT 2007»

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties

16 years 3 months ago

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties

Download home.dei.polimi.it

Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...

Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...

claim paper

Read More »

« Prev « First page 11 / 60 Last » Next »