Sciweavers

3311 search results - page 8 / 663
» Deductive Object Programming
Sort
View
92
Voted
CAV
2007
Springer
129views Hardware» more  CAV 2007»
15 years 10 months ago
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
Jean-Christophe Filliâtre, Claude March&eacu...
108
Voted
ICFEM
2005
Springer
15 years 9 months ago
An Improved Rule for While Loops in Deductive Program Verification
Bernhard Beckert, Steffen Schlager, Peter H. Schmi...
124
Voted
KI
2010
Springer
14 years 10 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...
144
Voted
ESOP
2005
Springer
15 years 9 months ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal