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 –...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | English |
| Được phát hành: |
New York, NY :
Springer US : Imprint: Springer,
2010.
|
| Phiên bản: | 1st ed. 2010. |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-1-4419-1539-9 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Mục lục:
- 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.