Towards diagrammability and efficiency in event sequence languages

DOI10.1007/B93958MaRDI QIDQ5897067zbMATH OpenOpenAlexFDO

Authors Kathi Fisler

Publication date 5 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Timing diagrams: Formalization and algorithmic verification
• A graphic language based on timing diagrams
• scientific article; zbMATH DE number 1796148
• The Verus language: Representing time efficiently with BDDs
• Relating Event and Trace Semantics of Hardware Description Languages

Cited in

(2)

• Model Checking Software
• A graphic language based on timing diagrams

This page was built for publication: Towards diagrammability and efficiency in event sequence languages

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