Indexed Artifacts (10.7M)

Popular Categories

Group: Hhu STUPS

Sort: popular | newest

1. Prologlib12 usages

de.hhu.stups » prologlibEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

2. Parserbase7 usages

de.hhu.stups » parserbaseEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

3. LTLParser6 usages

de.hhu.stups » ltlparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

4. Bparser6 usages

de.hhu.stups » bparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

5. Answerparser2 usages

de.hhu.stups » answerparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

6. TLA+ Tools2 usages

de.hhu.stups » tlatoolsMIT

Modified version of the TLA+ tools for usage in ProB
Last Release on Feb 24, 2016

7. TLA+ to B AST2 usages

de.hhu.stups » tla2bASTEPL

Translator from TLA+ to ProB's AST representation.
Last Release on Jul 20, 2017

8. Unicode2 usages

de.hhu.stups » unicodeEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

9. JFMI1 usages

de.hhu.stups » ptolemy-jfmiBSD

A Java Wrapper for the Functional Mock-up Interface. This library is part of the Ptolemy project.
Last Release on Aug 3, 2015


The AST library extracted from the Rodin Platform.
Last Release on Feb 24, 2016

11. Theorymapping1 usages

de.hhu.stups » theorymappingEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018
Parser for a LTL Pattern DSL
Last Release on Jun 11, 2018

13. CLIParser1 usages

de.hhu.stups » cliparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018
Servlets for ProB 2.0. This will be replaced by a new mechanism.
Last Release on Aug 16, 2016

15. Prob2 Kernel1 usages

de.hhu.stups » de.prob2.kernelEPL

The ProB 2.0 Kernel
Last Release on Mar 20, 2018
BMotionWeb Server Common Module
Last Release on Nov 6, 2016

17. Translator1 usages

de.hhu.stups » translatorEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

18. Eventbalg1 usages

de.hhu.stups » eventbalgEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018
BMotionWeb Server ProB Module
Last Release on Nov 6, 2016

20. TLC Integration Into ProB

de.hhu.stups » tlc4bEPL

Use the TLC model checker within ProB.
Last Release on Aug 19, 2015