Search Sciweavers | Sciweavers

131 search results - page 6 / 27

» Model Checking Prioritized Timed Automata

click to vote

ACSD
2007
IEEE

93views Hardware» more ACSD 2007»

SAT-based Unbounded Model Checking of Timed Automata

13 years 10 months ago

Download www.ipipan.waw.pl

We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...

Wojciech Penczek, Maciej Szreter

claim paper

Read More »

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 2 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

14 years 2 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

14 years 1 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers