Sciweavers

296 search results - page 11 / 60

» Linear Parametric Model Checking of Timed Automata

24

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

13 years 11 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 »

15

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

13 years 7 months ago

Bounded Model Checking for Timed Automata

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

22

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

14 years 1 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 »

17

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

14 years 26 days 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 »

29

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

14 years 8 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 »