Search Sciweavers | Sciweavers

259 search results - page 9 / 52

» Bounded Model Checking for Timed Automata

127

click to vote

FUIN
2008

101views more FUIN 2008»

Translation of Intermediate Language to Timed Automata with Discrete Data

15 years 3 months ago

Download www.mimuw.edu.pl

The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...

Agata Janowska, Pawel Janowski, Dobieslaw Wr&oacut...

claim paper

Read More »

102

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

15 years 9 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

140

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

15 years 8 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

105

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 7 months ago

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

103

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers