Gentoo Packages

sci-mathematics/tlc4b (eventb-rossi)

Search

Install

Install this package:

emerge -a sci-mathematics/tlc4b

Package Information

Description:
TLC4B model-checks classical B specifications by translating them to TLA+ and running the TLC model checker: invariant and assertion checking, deadlock detection, and counter-example traces mapped back to B.
Homepage:
https://github.com/hhu-stups/tlc4b
License:
EPL-1.0

Versions

Version EAPI Keywords Slot
1.2.3 8 ~amd64 0

Metadata

Description

Maintainers

Upstream

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		TLC4B model-checks classical B specifications by translating
		them to TLA+ and running the TLC model checker: invariant and
		assertion checking, deadlock detection, and counter-example
		traces mapped back to B.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/hhu-stups/tlc4b/issues</bugs-to>
		<remote-id type="github">hhu-stups/tlc4b</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
Unmatched Entries
Type File Size
DIST bparser-2.15.4.jar 1370411 bytes
DIST bparser-2.15.4.jar.asc 485 bytes
DIST commons-cli-1.11.0.jar 110167 bytes
DIST commons-cli-1.11.0.jar.asc 488 bytes
DIST ltlparser-2.15.4.jar 391072 bytes
DIST ltlparser-2.15.4.jar.asc 485 bytes
DIST parserbase-2.15.4.jar 7027 bytes
DIST parserbase-2.15.4.jar.asc 485 bytes
DIST prologlib-2.15.4.jar 60657 bytes
DIST prologlib-2.15.4.jar.asc 485 bytes
DIST sablecc-runtime-3.9.0.jar 3331 bytes
DIST sablecc-runtime-3.9.0.jar.asc 485 bytes
DIST tlatools-1.1.0.jar 2614881 bytes
DIST tlatools-1.1.0.jar.asc 485 bytes
DIST tlc4b-1.2.3.jar 265202 bytes
DIST tlc4b-1.2.3.jar.asc 485 bytes