Sciweavers

15783 search results - page 146 / 3157

» Evidence-Based Software Engineering

27

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 »

26

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 »

39

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 »

18

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 146 / 3157 Last » Next »