Download JAR files tagged by prob with all dependencies

tlc4b from group de.hhu.stups (version 1.2.0)

Use the TLC model checker within ProB.

Group: de.hhu.stups Artifact: tlc4b
Show all versions Show documentation Show source

0 downloads

Artifact tlc4b
Group de.hhu.stups
Version 1.2.0
Last update 12. November 2024
Organization not specified
URL https://github.com/hhu-stups/tlc4b
License Eclipse Public License, Version 2.1
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

tla2bAST from group de.hhu.stups (version 1.4.0)

Translator from TLA+ to ProB's AST representation.

Group: de.hhu.stups Artifact: tla2bAST
Show all versions Show documentation Show source

0 downloads

Artifact tla2bAST
Group de.hhu.stups
Version 1.4.0
Last update 12. November 2024
Organization not specified
URL https://github.com/hhu-stups/tla2bAST
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies tlatools, prologlib, bparser,
There are maybe transitive dependencies!

ltlparser from group de.hhu.stups (version 2.13.5)

ProB's parsers for LTL and CTL formulas

Group: de.hhu.stups Artifact: ltlparser
Show all versions Show documentation Show source

0 downloads

Artifact ltlparser
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies sablecc-runtime, prologlib, parserbase,
There are maybe transitive dependencies!

bparser from group de.hhu.stups (version 2.13.5)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: bparser
Show all versions Show documentation Show source

0 downloads

Artifact bparser
Group de.hhu.stups
Version 2.13.5
Last update 08. November 2024
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies sablecc-runtime, prologlib, parserbase,
There are maybe transitive dependencies!

prob-java from group de.hhu.stups (version 4.13.1)

Core of the ProB Java API

Group: de.hhu.stups Artifact: prob-java
Show all versions Show documentation Show source

0 downloads

Artifact prob-java
Group de.hhu.stups
Version 4.13.1
Last update 25. March 2024
Organization not specified
URL http://www.prob2.de
License Eclipse Public License, Version 1.0
Dependencies amount 16
Dependencies answerparser, bparser, ltlparser, parserbase, prologlib, unicode, theorymapping, value-translator, slf4j-api, guice, ltl-dsl, rodin-eventb-ast, jackson-databind, jackson-module-parameter-names, jackson-datatype-jsr310, jackson-datatype-jdk8,
There are maybe transitive dependencies!

voparser from group de.hhu.stups (version 0.2.1)

ProB Validation Obligation parser

Group: de.hhu.stups Artifact: voparser
Show all versions Show documentation Show source

0 downloads

Artifact voparser
Group de.hhu.stups
Version 0.2.1
Last update 14. August 2023
Organization not specified
URL https://gitlab.cs.uni-duesseldorf.de/general/stups/vo_parser
License Eclipse Public License, Version 1.0
Dependencies amount 1
Dependencies sablecc-runtime,
There are maybe transitive dependencies!

eventbalg from group de.hhu.stups (version 2.12.5)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: eventbalg
Show all versions Show documentation Show source

0 downloads

Artifact eventbalg
Group de.hhu.stups
Version 2.12.5
Last update 10. July 2023
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

typechecker from group de.hhu.stups (version 2.9.32)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: typechecker
Show all versions Show documentation Show source

1 downloads

Artifact typechecker
Group de.hhu.stups
Version 2.9.32
Last update 28. December 2021
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 3
Dependencies prologlib, bparser, ltlparser,
There are maybe transitive dependencies!

translator from group de.hhu.stups (version 2.9.23)

Part of the ProB Parser library

Group: de.hhu.stups Artifact: translator
Show all versions Show documentation Show source

9 downloads

Artifact translator
Group de.hhu.stups
Version 2.9.23
Last update 07. November 2019
Organization not specified
URL https://github.com/bendisposto/probparsers
License Eclipse Public License, Version 1.0
Dependencies amount 2
Dependencies prologlib, bparser,
There are maybe transitive dependencies!

bmotion-prob from group de.hhu.stups (version 0.3.1)

BMotionWeb Server ProB Module

Group: de.hhu.stups Artifact: bmotion-prob
Show all versions Show documentation Show source

0 downloads

Artifact bmotion-prob
Group de.hhu.stups
Version 0.3.1
Last update 06. November 2016
Organization not specified
URL https://github.com/ladenberger/bmotion-prob
License Eclipse Public License, Version 1.0
Dependencies amount 6
Dependencies bmotion, prob2-ui-servlets, slf4j-api, logback-core, commons-cli, logback-classic,
There are maybe transitive dependencies!

Page 1 from 2 (items total 19)