Sciweavers

37 search results - page 1 / 8

» cav 2006

9

CAV
2007
Springer

134views Hardware» more CAV 2007»

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes

13 years 8 months ago

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes

Download hal.archives-ouvertes.fr

Hubert Garavel, Radu Mateescu, Frédé...

claim paper

Read More »

7

CAV
2006
Springer

72views Hardware» more CAV 2006»

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs

13 years 8 months ago

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs

Download www.wisdom.weizmann.ac.il

David Harel

claim paper

Read More »

11

CAV
2006
Springer

108views Hardware» more CAV 2006»

Counterexamples with Loops for Predicate Abstraction

13 years 8 months ago

Counterexamples with Loops for Predicate Abstraction

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

4

CAV
2006
Springer

101views Hardware» more CAV 2006»

A Fast Linear-Arithmetic Solver for DPLL(T)

13 years 8 months ago

A Fast Linear-Arithmetic Solver for DPLL(T)

Download yices.csl.sri.com

Bruno Dutertre, Leonardo Mendonça de Moura

claim paper

Read More »

9

CAV
2006
Springer

101views Hardware» more CAV 2006»

Abstraction for Shape Analysis with Fast and Precise Transformers

13 years 8 months ago

Abstraction for Shape Analysis with Fast and Precise Transformers

Download www.cs.tau.ac.il

Tal Lev-Ami, Neil Immerman, Shmuel Sagiv

claim paper

Read More »

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