Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications Edited by: David S. Hardin This book examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels fr...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
New York, NY :
Springer US
2010.
Cham : Springer Nature |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Design and verification of microprocessor systems for high-assurance applications, edited by David S. Hardin, New York, Springer, 2010, 1 volume (xiv-436 pages), 978-1-441-91538-2 • Design and Verification of Microprocessor Systems for High-Assurance Applications, Texte imprimé, 9781441915542 • Design and Verification of Microprocessor Systems for High-Assurance Applications, Texte imprimé, 9781489984593 |
Taula de continguts:
- 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.