Sciweavers

37 search results - page 1 / 8

» cav 2006

20

CAV
2007
Springer

134views Hardware» more CAV 2007»

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

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

16

CAV
2006
Springer

72views Hardware» more CAV 2006»

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

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

22

CAV
2006
Springer

108views Hardware» more CAV 2006»

Counterexamples with Loops for Predicate Abstraction

13 years 11 months ago

Counterexamples with Loops for Predicate Abstraction

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

12

CAV
2006
Springer

101views Hardware» more CAV 2006»

A Fast Linear-Arithmetic Solver for DPLL(T)

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

17

CAV
2006
Springer

101views Hardware» more CAV 2006»

Abstraction for Shape Analysis with Fast and Precise Transformers

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