GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages
MURPHI2XML(1) FreeBSD General Commands Manual MURPHI2XML(1)

murphi2xml - Print the abstract syntax tree of a parsed Murphi model

murphi2xml [--output FILE | -o FILE] FILE

The utility murphi2xml is bundled with the model checker Rumur and can be used to translate a Murphi model into its abstract syntax tree in an XML format. See rumur(1) for more information about Rumur or Murphi.

--help or -?
Display usage information.

--output FILE or -o FILE

Set the path to write the output XML to. If this argument is omitted, output is written to standard out.

--version

Display version information and exit.

rumur(1)

Search for    or go to Top of page |  Section 1 |  Main Index

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.