Sciweavers

15727 search results - page 109 / 3146

» Software Engineering - Introduction

135

Voted

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

15 years 12 months ago

Where Is the Value in a Program Verifier?

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

129

Voted

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

15 years 12 months ago

Modular Reasoning in Object-Oriented Programming

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

116

Voted

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

15 years 12 months ago

The Importance of Non-theorems and Counterexamples in Program Verification

Download vstte.ethz.ch

Graham Steel

claim paper

Read More »

123

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

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

15 years 12 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 »

112

VSTTE
2005
Springer

80views Software Engineering» more VSTTE 2005»

Verify Your Runs

15 years 12 months ago

Verify Your Runs

Download vstte.ethz.ch

Klaus Havelund, Allen Goldberg

claim paper

Read More »

« Prev « First page 109 / 3146 Last » Next »