Sciweavers

15811 search results - page 119 / 3163

» Search-based software engineering

139

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

15 years 12 months ago

The Verifying Compiler, a Grand Challenge for Computing Research

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

143

Voted

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

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

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

158

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

15 years 12 months ago

Automata as Abstractions

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

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 »

128

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 »

« Prev « First page 119 / 3163 Last » Next »