JarCasting
JarCasting JarCasting

TLC integration into ProB

Use the TLC model checker within ProB.

Лицензия

Лицензия
Группа

Группа

de.hhu.stups
Идентификатор

Идентификатор

tlc4b
Последняя версия

Последняя версия

1.0.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

TLC integration into ProB
Use the TLC model checker within ProB.
Ссылка на сайт

Ссылка на сайт

https://github.com/hhu-stups/tlc4b

Скачать tlc4b

Имя Файла Размер
tlc4b-1.0.0.pom
tlc4b-1.0.0.jar 3 MB
tlc4b-1.0.0-sources.jar 112 KB
tlc4b-1.0.0-javadoc.jar 440 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/de.hhu.stups/tlc4b/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>tlc4b</artifactId>
    <version>1.0.0</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/tlc4b/
implementation 'de.hhu.stups:tlc4b:1.0.0'
// https://jarcasting.com/artifacts/de.hhu.stups/tlc4b/
implementation ("de.hhu.stups:tlc4b:1.0.0")
'de.hhu.stups:tlc4b:jar:1.0.0'
<dependency org="de.hhu.stups" name="tlc4b" rev="1.0.0">
  <artifact name="tlc4b" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='tlc4b', version='1.0.0')
)
libraryDependencies += "de.hhu.stups" % "tlc4b" % "1.0.0"
[de.hhu.stups/tlc4b "1.0.0"]

Зависимости

compile (5)

Идентификатор библиотеки Тип Версия
de.hhu.stups : parserbase jar 2.5.0-SNAPSHOT
de.hhu.stups : ltlparser jar 2.5.0-SNAPSHOT
de.hhu.stups : bparser jar 2.5.0-SNAPSHOT
de.hhu.stups : tlatools jar 1.0.0
de.hhu.stups : prologlib jar 2.5.0-SNAPSHOT

test (2)

Идентификатор библиотеки Тип Версия
de.hhu.stups : tla2bAST jar 1.0.7-SNAPSHOT
junit : junit jar 4.11

Модули Проекта

Данный проект не имеет модулей.
de.hhu.stups

Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

Версии библиотеки

Версия
1.0.0