Design and verification of microprocessor systems for high-assurance applications

DOI10.1007/978-1-4419-1539-9MaRDI QIDQ5187975zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 2010

Full work available at URL https://doi.org/10.1007/978-1-4419-1539-9

zbMATH Keywords

verification technologies

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 53982
• Formal verification of floating-point hardware design. A mathematical approach
• Formal modeling and verification of microprocessors
• scientific article; zbMATH DE number 46617
• Formal system verification. State-of the-art and future trends

Cited in

(7)

• scientific article; zbMATH DE number 4219110 (Why is no real title available?)
• scientific article; zbMATH DE number 4039272 (Why is no real title available?)
• scientific article; zbMATH DE number 53982 (Why is no real title available?)
• scientific article; zbMATH DE number 1973994 (Why is no real title available?)
• Use of Modern Processors in Safety-Critical Applications
• Correct Hardware Design and Verification Methods
• Verified AIG algorithms in ACL2

This page was built for publication: Design and verification of microprocessor systems for high-assurance applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5187975)