Sciweavers

25 search results - page 1 / 5

» cav 2003

10

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

13 years 9 months ago

TLQSolver: A Temporal Logic Query Checker

Download www.cs.toronto.edu

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

14

CAV
2003
Springer

125views Hardware» more CAV 2003»

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement

13 years 9 months ago

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

9

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

13 years 9 months ago

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

Download www.labri.fr

Bernard Boigelot, Frédéric Herbretea...

claim paper

Read More »

17

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

13 years 9 months ago

Iterating Transducers in the Large (Extended Abstract)

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

7

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

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

« Prev « First page 1 / 5 Last » Next »