scientific article; zbMATH DE number 4039272

MaRDI QIDQ3777442zbMATH OpenFDO

Authors Werner Damm

Publication date 1987

zbMATH Keywords

axiomatic architecture description languageemulationfirmware engineeringimplementationmicroprogrammingspecification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25) Theory of software (68N99)

Recommendations

• The use of hoare logic in the verification of horizontal microprograms
• scientific article; zbMATH DE number 194647
• scientific article; zbMATH DE number 53982
• Design and verification of microprocessor systems for high-assurance applications
• Formal modeling and verification of microprocessors

Cited in

(5)

• The use of hoare logic in the verification of horizontal microprograms
• scientific article; zbMATH DE number 3858379 (Why is no real title available?)
• scientific article; zbMATH DE number 43673 (Why is no real title available?)
• scientific article; zbMATH DE number 194647 (Why is no real title available?)
• scientific article; zbMATH DE number 3253166 (Why is no real title available?)

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 Q3777442)