scientific article; zbMATH DE number 177247

MaRDI QIDQ4037098zbMATH OpenFDO

Authors Paul N. Loewenstein, David L. Dill

Publication date 18 May 1993

zbMATH Keywords

concurrent systemsHOL theorem-proversimulation relationverification

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177526
• scientific article; zbMATH DE number 1670768
• scientific article; zbMATH DE number 1830911
• scientific article; zbMATH DE number 1852158
• Formal design of cache memory protocols in IBM

Cited in

(8)

• Verifying a distributed list system: A case history
• Modular deductive verification of multiprocessor hardware designs
• Formal design of cache memory protocols in IBM
• scientific article; zbMATH DE number 1693428 (Why is no real title available?)
• scientific article; zbMATH DE number 177526 (Why is no real title available?)
• scientific article; zbMATH DE number 1830911 (Why is no real title available?)
• scientific article; zbMATH DE number 1444330 (Why is no real title available?)
• Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server

Describes a project that uses

Uses Software

• HOL

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