Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

mona-1.4r13-1.fc8 RPM for ppc

From Fedora 8 testing updates for ppc

Name: mona Distribution: Unknown
Version: 1.4r13 Vendor: Fedora Project
Release: 1.fc8 Build date: Mon Aug 11 19:12:41 2008
Group: Applications/Engineering Build host: ppc2.fedora.redhat.com
Size: 1333909 Source RPM: mona-1.4r13-1.fc8.src.rpm
Packager: Fedora Project
Url: http://www.brics.dk/mona/
Summary: A decision procedure for the WS1S and WS2S logics
 
MONA is a tool that translates formulas in the logics WS1S or WS2S into
finite-state automata represented by BDDs.  The formulas may express search
patterns, temporal properties of reactive systems, parse tree constraints,
etc.  MONA also analyses the automaton resulting from the compilation, and
determines whether the formula is valid and, if the formula is not valid,
generates a counterexample.

Provides

Requires

Copyright

GPLv2+

Signatures

internal MD5: e05944994b873e3132d50695b7ecb515

GPG

Changelog

* Tue Aug 12 2008 Jerry James <loganjerry@gmail.com> - 1.4r13-1
  - Update to 1.4-13
* Wed Jun 18 2008 Jerry James <loganjerry@gmail.com> - 1.4r11-1
  - Update to 1.4-11
  - Add the user manual to the main package docs
* Mon Mar 10 2008 Jerry James <loganjerry@gmail.com> - 1.4r10-1
  - Initial RPM

Files

Ðø‘	

Generated by rpm2html 1.8.1

Daniel Veillard, Fri Nov 21 03:44:48 2008