Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version)

Katelman, Michael; Keller, Sean; Meseguer, José

Permalink

https://hdl.handle.net/2142/17371 Copy

Description

Title

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version)

Author(s)

• Katelman, Michael
• Keller, Sean
• Meseguer, José

Issue Date

2010

Keyword(s)

• PRS
• Maude
• Executable Formal Semantics
• Asynchronous VLSI

Abstract

We give source code for an executable formal semantics of production rule sets (PRS) in Maude, along with several example circuits that can be model checked for hazard-free and deadlock-free operation using our semantics and Maude's search command.

Type of Resource

other

Permalink

http://hdl.handle.net/2142/17371

Owning Collections