This book is currently unavailable on Open Library, check out available alternatives.
An edition of Design and verification of microprocessor systems for high-assurance applications (2010)

Design and verification of microprocessor systems for high-assurance applications

by

Cover of: Design and verification of microprocessor systems for high-assurance applications by David S. Hardin, David S. Hardin
Design and verification of microprocessor systems for high-assurance applications by David S. Hardin, David S. Hardin
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
June 29, 2019 | History
Edit
An edition of Design and verification of microprocessor systems for high-assurance applications (2010)

Design and verification of microprocessor systems for high-assurance applications

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
436

Subjects

Programmable controllers Testing Design and construction
Edition Availability
Cover of: Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
Nov 28, 2014, Springer
paperback
  • Learn More
Cover of: Design and verification of microprocessor systems for high-assurance applications
Design and verification of microprocessor systems for high-assurance applications
2010, Springer
in English
  • Nearby Libraries
Cover of: Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
Nov 05, 2010, Springer
paperback
  • Learn More

Add another edition?

Book Details

Table of Contents

ACL2 and its applications to digital system verification -- Matt Kaufmann and J. Strother Moore
mechanically verified commercial SRT divider -- David M. Russinoff
Use of formal verification at Centaur Technology -- Warren A. Hunt, Jr., Sol Swords, Jared Davis and Anna Slobodova
Designing tunable, verifiable cryptographic hardware using Cryptol -- Sally Browning and Philip Weaver
Verifying pipelines with BAT -- Panagiotis Manolios and Sudarshan K. Srinivasan
Formal verification of partition management for the AAMP7G microprocessor -- Matthew M. Wilding, David A. Greve, Raymond J. Richards and David S. Hardin
Compiling higher order logic by proof -- Konrad Slind, Guodong LI and Scott Owens
Specification and verification of ARM hardware and software -- Anthony C. J. Fox, Michael J. C. Gordon and Magnus O. Myreen
Information security modeling and analysis -- David A. Greve
Modeling and security analysis of a commercial real-time operating system kernel -- Raymond J. Richards
Refinement in the formal verification of the SeL4 microkernel -- Gerwin Klein, Thomas Sewell and Simon Winwood
Specification and checking of software contracts for conditional information flow -- Torben Amtoft, John Hatcliff and Edwin Rodriguez / -- Robby / -- Jonathan Hoag and David Greve
Model checking information flow -- Michael W. Whalen, David A. Greve and Lucas G. Wagner.

Edition Notes

Includes bibliographical references and index.

Published in
New York, London

Classifications

Dewey Decimal Class
629.895416
Library of Congress
TJ223.P76 D47 2010, TK7888.4TA345-345.5T, TA1-2040

The Physical Object

Pagination
xiv, 436 p. :
Number of pages
436

Edition Identifiers

Open Library
OL25296744M
ISBN 13
9781441915382, 9781441915399
LCCN
2010921140
OCLC/WorldCat
462921923

Work Identifiers

Work ID
OL16615345W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON