Sciweavers

1036 search results - page 35 / 208
» Verification Programs for Abduction
Sort
View
84
Voted
PVM
2009
Springer
15 years 7 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby
ARITH
2007
IEEE
15 years 7 months ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre
CAV
2007
Springer
129views Hardware» more  CAV 2007»
15 years 6 months ago
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
Jean-Christophe Filliâtre, Claude March&eacu...
75
Voted
IWPC
2006
IEEE
15 years 6 months ago
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification
Coen De Roover, Isabel Michiels, Kim Gybels, Kris ...
75
Voted
ICFEM
2005
Springer
15 years 6 months ago
An Improved Rule for While Loops in Deductive Program Verification
Bernhard Beckert, Steffen Schlager, Peter H. Schmi...