Towards diagrammability and efficiency in event sequence languages

DOI10.1007/B93958zbMATH Open1179.68083OpenAlexW219731125MaRDI QIDQ5897067FDOQ5897067

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

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

Mathematics Subject Classification ID

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

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)