Search Sciweavers | Sciweavers

15777 search results - page 108 / 3156

» The Reformulation-Optimization Software Engine

100

click to vote

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

15 years 10 months ago

Download vstte.ethz.ch

Graham Steel

claim paper

Read More »

102

Voted

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

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

15 years 10 months ago

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

Voted

VSTTE
2005
Springer

80views Software Engineering» more VSTTE 2005»

Verify Your Runs

15 years 10 months ago

Download vstte.ethz.ch

Klaus Havelund, Allen Goldberg

claim paper

Read More »

116

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 10 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

124

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers