scientific article; zbMATH DE number 1852173

MaRDI QIDQ4787252zbMATH OpenFDO

Authors Byron Cook, Nancy A. Day, Robert B. Jones, Mark D. Aagaard

Publication date 9 January 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2144/21440433

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• scientific article; zbMATH DE number 1979547
• Algebraic models of correctness for microprocessors
• scientific article; zbMATH DE number 1107558
• A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor

Cited in

(5)

• scientific article; zbMATH DE number 1979548 (Why is no real title available?)
• scientific article; zbMATH DE number 1979547 (Why is no real title available?)
• scientific article; zbMATH DE number 1629969 (Why is no real title available?)
• Algebraic models of correctness for abstract pipelines.
• Algebraic models of correctness for microprocessors

This page was built for publication:

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