Search
Now showing items 1-1 of 1
Calculi for Program Incorrectness and Arithmetic
(2008-11-18)
This thesis is about the development and usage of deductive methods in two
main areas: (i) the deductive dis-verification of programs, i.e., how techniques
for deductive verification of programs can be used to detect ...