Specification and automatic verification of self-timed queues

DOI10.1007/BF00464356zbMATH Open0875.68628OpenAlexW2055284127MaRDI QIDQ685115FDOQ685115

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

• Title not available (Why is that?)
• Symbolic model checking: \(10^{20}\) states and beyond
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of total correctness for communicating processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)