Bug #: 2997
Summary: Review Request: spinroot - Formal verification of
multi-threaded software applications
Product: Package Reviews
Component: Review Request
MOCK BUILD LOG: http://lameire.iiens.net/spinroot/build.log
ALL OTHER USEFULL STUFF: http://lameire.iiens.net/spinroot/
spinroot.x86_64: W: spelling-error Summary(en_US) multi -> mulch, mufti
spinroot.x86_64: W: spelling-error %description -l en_US multi -> mulch, mufti
spinroot.x86_64: W: invalid-license free use for educational purpose
Not eligible on fedora repo : non free app, only redistribuable without money
NB: a "spin" package is already avalable on fedora repo, I rename the package
folowing the website domain
Spin targets the efficient verification of multi-threaded software, not the
verification of hardware circuits. The tool supports a high level language to
specify systems descriptions called PROMELA (short for: PROcess MEta LAnguage).
Spin has been used to trace logical design errors in distributed systems
such as operating systems, data communications protocols, switching systems,
concurrent algorithms, railway signaling protocols, control software for
spacecraft, nuclear power plants, etc. The tool checks the logical consistency
of a specification and reports on deadlocks, race conditions, different types
incompleteness, and unwarranted assumptions about the relative speeds of
I have no approuved package on rpm-fusion, but I'm already approuved on fedora.
Configure bugmail: https://bugzilla.rpmfusion.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
You are the assignee for the bug.