Sciweavers

15885 search results - page 115 / 3177

» The Modest Software Engineer

25

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

14 years 3 months ago

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

25

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

14 years 3 months ago

The Verifying Compiler, a Grand Challenge for Computing Research

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

29

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

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

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

37

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

14 years 3 months ago

Automata as Abstractions

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

17

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

14 years 3 months ago

Where Is the Value in a Program Verifier?

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

« Prev « First page 115 / 3177 Last » Next »