Search Sciweavers | Sciweavers

1036 search results - page 35 / 208

» Verification Programs for Abduction

141

click to vote

PVM
2009
Springer

97views Distributed And Parallel Com...» more PVM 2009»

Practical Formal Verification of MPI and Thread Programs

16 years 1 months ago

Download www.cs.utah.edu

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

172

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

16 years 25 days ago

Download www-lipn.univ-paris13.fr

Sylvie Boldo, Jean-Christophe Filliâtre

claim paper

Read More »

122

click to vote

CAV
2007
Springer

129views Hardware» more CAV 2007»

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

16 years 20 days ago

Download www.lri.fr

Jean-Christophe Filliâtre, Claude March&eacu...

claim paper

Read More »

123

click to vote

IWPC
2006
IEEE

111views Software Engineering» more IWPC 2006»

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification

16 years 15 days ago

Download soft.vub.ac.be

Coen De Roover, Isabel Michiels, Kim Gybels, Kris ...

claim paper

Read More »

137

click to vote

ICFEM
2005
Springer

87views Software Engineering» more ICFEM 2005»

An Improved Rule for While Loops in Deductive Program Verification

16 years 6 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers