Sciweavers

25 search results - page 1 / 5

» cav 2003

11

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

13 years 10 months ago

TLQSolver: A Temporal Logic Query Checker

Download www.cs.toronto.edu

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

15

CAV
2003
Springer

125views Hardware» more CAV 2003»

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

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

10

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

13 years 10 months ago

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

Download www.labri.fr

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

claim paper

Read More »

18

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

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