Specification and automatic verification of self-timed queues

DOI10.1007/BF00464356MaRDI QIDQ685115zbMATH OpenOpenAlexFDO

Authors David L. Dill, Steven M. Nowick, Robert F. Sproull

Publication date 30 September 1993

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00464356

Mathematics Subject Classification ID

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

Cites work

• A calculus of total correctness for communicating processes
• scientific article; zbMATH DE number 3869222 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 177236 (Why is no real title available?)
• scientific article; zbMATH DE number 177237 (Why is no real title available?)
• scientific article; zbMATH DE number 177254 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• Symbolic model checking: \(10^{20}\) states and beyond

Describes a project that uses

Uses Software

• HOL

This page was built for publication: Specification and automatic verification of self-timed queues

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