Files in this item


application/x-tar and application/x-gzip

application/x-tar and application/x-gzipsemanticsOfPRS.tgz (10kB)
(no description provided)application/x-tar and application/x-gzip


Title:Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, November 2011)
Author(s):Katelman, Michael; Keller, Sean; Meseguer, José
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.
Issue Date:2011-11-13
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2011-11-14

This item appears in the following Collection(s)

Item Statistics