Sciweavers

31 search results - page 2 / 7

» vstte 2005

8

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

13 years 10 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

9

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

13 years 10 months ago

Modular Reasoning in Object-Oriented Programming

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

6

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

13 years 10 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

12

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

13 years 10 months ago

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

5

VSTTE
2005
Springer

80views Software Engineering» more VSTTE 2005»

Verify Your Runs

13 years 10 months ago

Verify Your Runs

Download vstte.ethz.ch

Klaus Havelund, Allen Goldberg

claim paper

Read More »

« Prev « First page 2 / 7 Last » Next »