Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

DOI10.1007/978-3-642-35705-3_8zbMath1452.68123OpenAlexW2106305471MaRDI QIDQ3455649

Peng Liu, Huibiao Zhu, Jifeng He, Shengchao Qin

Publication date: 11 December 2015

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35705-3_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Developments in concurrent Kleene algebra

Uses Software

• Maude
• Verilog

Cites Work

• A calculus of durations
• Rewriting logic: Roadmap and bibliography
• Relating Event and Trace Semantics of Hardware Description Languages

This page was built for publication: Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude