Your Waterstones card is changing, introducing...
TELL ME MORE
Formal verification of machine-code programs - Distinguished Dissertation (Paperback)
  • Formal verification of machine-code programs - Distinguished Dissertation (Paperback)
zoom

Formal verification of machine-code programs - Distinguished Dissertation (Paperback)

(author)
£75.00
Paperback 132 Pages / Published: 07/03/2011
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
Formal program verification provides mathematical methods to increase the assurance of software correctness. Most approaches are either fully automatic and prove only weak properties, or, alternatively, are manual and labour-intensive; few target realistically modelled machine code. 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. The contributions are novel methods for both the verification of existing programs and for automatically constructing correct code. For verification, the problem is reduced, via fully-automatic deduction, to proving properties of recursive functions. For program construction, a compiler maps mathematical functions, via proof, down to multiple carefully modelled commercial machine languages. As a case study in combining bottom-up verification and top-down compilation, formally verified ARM, x86 and PowerPC machine code implementations of a LISP interpreter were created. The automation and proofs have been implemented in the HOL4 theorem prover using specifications of instructions based on machine-code Hoare triples derived mechanically from processor architecture models.

Publisher: BCS Learning & Development Limited
ISBN: 9781906124816
Number of pages: 132
Weight: 336 g
Dimensions: 297 x 210 x 7 mm

You may also be interested in...

Python for Data Science For Dummies
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
JavaScript in Easy Steps
Added to basket
C Programming Absolute Beginner's Guide
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Learning SQL
Added to basket
£31.99
Paperback
Learn Python the Hard Way
Added to basket
£30.59
Mixed media product
Python Cookbook: No. 3
Added to basket
C++ Pocket Reference
Added to basket
Code
Added to basket
£21.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
JQuery in Easy Steps
Added to basket
Python Pocket Reference
Added to basket
Clean Code
Added to basket
£36.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.