Hardin / Amtoft / Browning Design and Verification of Microprocessor Systems for High-Assurance Applications
1. Auflage 2010
ISBN: 978-1-4419-1539-9
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 436 Seiten, eBook
ISBN: 978-1-4419-1539-9
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
ACL2 and Its Applications to Digital System Verification.- A Mechanically Verified Commercial SRT Divider.- Use of Formal Verification at Centaur Technology.- Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol.- Verifying Pipelines with BAT.- Formal Verification of Partition Management for the AAMP7G Microprocessor.- Compiling Higher Order Logic by Proof.- Specification and Verification of ARM Hardware and Software.- Information Security Modeling and Analysis.- Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel.- Refinement in the Formal Verification of the seL4 Microkernel.- Specification and Checking of Software Contracts for Conditional Information Flow.- Model Checking Information Flow.