Files in this item
| Files | Description | Format |
|---|---|---|
|
application/x-tar and application/x-gzip  formalSemanticsOfPRS.tgz (10kB) | (no description provided) | application/x-tar and application/x-gzip |
Description
| Title: | Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, June 2011) |
| Author(s): | Katelman, Michael; Keller, Sean; Meseguer, José |
| Subject(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. |
| Issue Date: | 2011-06-20 |
| Type: | Other |
| URI: | http://hdl.handle.net/2142/25444 |
| Publication Status: | unpublished |
| Peer Reviewed: | not peer reviewed |
| Date Available in IDEALS: | 2011-06-20 |