Rust Implementation of Knuth's Dancing Links: Conclusion, Acknowledgments, and References
Hackernoon,
:::info Author: (1) David S. Hardin, Cedar Rapids, IA USA [email protected].
Design and Verification of Microprocessor Systems for High-Assurance Applications
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 ACL2 and Its Applications to Digital System Verification
-
Altmetric BadgeChapter 2 A Mechanically Verified Commercial SRT Divider
-
Altmetric BadgeChapter 3 Use of Formal Verification at Centaur Technology
-
Altmetric BadgeChapter 4 Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol
-
Altmetric BadgeChapter 5 Verifying Pipelines with BAT
-
Altmetric BadgeChapter 6 Formal Verification of Partition Management for the AAMP7G Microprocessor
-
Altmetric BadgeChapter 7 Compiling Higher Order Logic by Proof
-
Altmetric BadgeChapter 8 Specification and Verification of ARM Hardware and Software
-
Altmetric BadgeChapter 9 Information Security Modeling and Analysis
-
Altmetric BadgeChapter 10 Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel
-
Altmetric BadgeChapter 11 Design and Verification of Microprocessor Systems for High-Assurance Applications
-
Altmetric BadgeChapter 12 Specification and Checking of Software Contracts for Conditional Information Flow
-
Altmetric BadgeChapter 13 Model Checking Information Flow