[Bug 2997] New: Review Request: spinroot - Formal verification of multi-threaded software applications
https://bugzilla.rpmfusion.org/show_bug.cgi?id=2997
Bug #: 2997
Summary: Review Request: spinroot - Formal verification of
multi-threaded software applications
Classification: Unclassified
Product: Package Reviews
Version: Current
Platform: All
OS/Version: GNU/Linux
Status: NEW
Severity: normal
Priority: P5
Component: Review Request
AssignedTo: rpmfusion-package-review(a)rpmfusion.org
ReportedBy: alexisis-pristontale(a)hotmail.com
CC: rpmfusion-package-review(a)rpmfusion.org
Blocks: 2
SPEC: http://lameire.iiens.net/spinroot/spinroot.spec
SRPM: http://lameire.iiens.net/spinroot/spinroot-6.2.5-1.fc18.src.rpm
MOCK BUILD LOG: http://lameire.iiens.net/spinroot/build.log
ALL OTHER USEFULL STUFF: http://lameire.iiens.net/spinroot/
RPMLINT:
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
exchange.
NB: a "spin" package is already avalable on fedora repo, I rename the package
folowing the website domain
Description:
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
design,
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
of
incompleteness, and unwarranted assumptions about the relative speeds of
processes.
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.