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 x86_64

From Fedora 8 testing updates for x86_64

Name: mona Distribution: Unknown
Version: 1.4r13 Vendor: Fedora Project
Release: 1.fc8 Build date: Mon Aug 11 19:11:31 2008
Group: Applications/Engineering Build host: x86-1
Size: 1254645 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

Copyright

GPLv2+

Signatures

internal MD5: 9910cfbf50537ad617e32a7530a42d3a

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

S—

Generated by rpm2html 1.8.1

Daniel Veillard, Sat Nov 22 03:43:18 2008