A two-level formal verification methodology using HOL and COSMOS

DOI10.1007/3-540-55179-4_29MaRDI QIDQ6493548zbMATH OpenFDO

Authors Carl-Johan H. Seger

Publication date 29 April 2024

Full work available at URL https://doi.org/10.1007/3-540-55179-4_29

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A Switch-Level Model and Simulator for MOS Digital Systems
• scientific article; zbMATH DE number 3991418 (Why is no real title available?)
• scientific article; zbMATH DE number 177244 (Why is no real title available?)
• scientific article; zbMATH DE number 193479 (Why is no real title available?)

This page was built for publication: A two-level formal verification methodology using HOL and COSMOS

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