Articoli correlati a Formal verification of machine-code programs

Formal verification of machine-code programs - Brossura

 
9781906124816: Formal verification of machine-code programs

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreBCS, The Chartered Institute for IT
  • Data di pubblicazione2011
  • ISBN 10 1906124817
  • ISBN 13 9781906124816
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine132
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: come nuovo
Like New
Visualizza questo articolo

EUR 29,66 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Risultati della ricerca per Formal verification of machine-code programs

Foto dell'editore

Myreen, Magnus O.
ISBN 10: 1906124817 ISBN 13: 9781906124816
Antico o usato Paperback

Da: Mispah books, Redhill, SURRE, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA75819061248175

Contatta il venditore

Compra usato

EUR 232,15
Convertire valuta
Spese di spedizione: EUR 29,66
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello