Sciweavers

19587 search results - page 236 / 3918

» Systems Engineering for software Engineers

144

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

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

16 years 3 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 »

161

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

16 years 3 days ago

Automata as Abstractions

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

138

Voted

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

16 years 3 days ago

Where Is the Value in a Program Verifier?

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

132

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

16 years 3 days ago

Modular Reasoning in Object-Oriented Programming

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

118

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

16 years 3 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 236 / 3918 Last » Next »