Sciweavers

15777 search results - page 106 / 3156

» Software Engineering

153

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

16 years 17 days ago

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

166

Voted

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

16 years 17 days ago

Automata as Abstractions

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

149

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

16 years 17 days ago

Where Is the Value in a Program Verifier?

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

136

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

16 years 17 days ago

Modular Reasoning in Object-Oriented Programming

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

129

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

16 years 17 days ago

The Importance of Non-theorems and Counterexamples in Program Verification

Download vstte.ethz.ch

Graham Steel

claim paper

Read More »

« Prev « First page 106 / 3156 Last » Next »