Formal verification of machine-code programs
Auteur :
Myreen, Magnus O.
Éditeur :
Myreen, Magnus O.
ISBN :
9781906124816
Date de publication :
7 mars 2011
Dimensions :
29,7 x 21,0 x 0,7 cm
Poids :
336 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Formal program verification provides mathematical methods to increase the assurance of software correctness. The work presented in this dissertation aims to ease the effort required in proving properties of programs on top of detailed models of machine code.