GUPEA >
IT Faculty / IT-fakulteten >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik >

Calculi for Program Incorrectness and Arithmetic


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/18717

Files in This Item:

File Description SizeFormat
gupea_2077_18717_1.pdf2198KbAdobe PDF
View/Open
Title: Calculi for Program Incorrectness and Arithmetic
Authors: Rümmer, Philipp
E-mail: philipp@cs.chalmers.se
Issue Date: 18-Nov-2008
University: University of Gothenburg. IT-Faculty & Chalmers University of Technology
Institution: Department of Computer Science and Engineering
Date of Defence: 2008-12-17
Disputation: Onsdagen den 17 december 2008, kl. 10.15, sal EA, vån 4, Hörsalsvägen 11, Chalmers tekniska högskola
Degree: Doctor of Philosophy
Publication type: Doctoral thesis
Series/Report no.: Technical Report D
50
Abstract: 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 program defects, and (ii) reasoning modulo integer arithmetic, i.e., how to prove the validity (and, in special cases, satisfiability) of first-order formulae that involve integer arithmetic. The areas of program verification and of testing are traditionally considered as comp... more
ISBN: 978-91-628-7242-7
URI: http://hdl.handle.net/2077/18717
Appears in Collections:Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik
Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet

This item has been viewed 264 times.

 

 

© Göteborgs universitet 2011