Search Sciweavers | Sciweavers

44 search results - page 2 / 9

» cav 2007

click to vote

CAV
2007
Springer

117views Hardware» more CAV 2007»

Spade: Verification of Multithreaded Dynamic and Recursive Programs

13 years 9 months ago

Download www-ti.informatik.uni-tuebingen.de

Gaël Patin, Mihaela Sighireanu, Tayssir Touil...

claim paper

Read More »

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

13 years 11 months ago

Download cav2007.org

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

claim paper

Read More »

click to vote

CAV
2007
Springer

134views Hardware» more CAV 2007»

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

13 years 9 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals

13 years 11 months ago

Download www.inf.ethz.ch

Bernd Becker, Christian Dax, Jochen Eisinger, Feli...

claim paper

Read More »

click to vote

CAV
2007
Springer

159views Hardware» more CAV 2007»

Boolean Abstraction for Temporal Logic Satisfiability

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers