Specification and automatic verification of self-timed queues

DOI10.1007/BF00464356zbMath0875.68628OpenAlexW2055284127MaRDI QIDQ685115

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

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)

Uses Software

• HOL

Cites Work

• A calculus of total correctness for communicating processes
• Symbolic model checking: \(10^{20}\) states and beyond
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item