Indexed Artifacts (8.02M)

Popular Categories

Group: de.hhu.stups

Sort: popular | newest

1. Prologlib12 usages

de.hhu.stups » prologlibEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

2. Parserbase7 usages

de.hhu.stups » parserbaseEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

3. Bparser6 usages

de.hhu.stups » bparserEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

4. Ltlparser6 usages

de.hhu.stups » ltlparserEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

5. Answerparser2 usages

de.hhu.stups » answerparserEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

6. Unicode2 usages

de.hhu.stups » unicodeEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

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. TLA+ Tools2 usages

de.hhu.stups » tlatoolsMIT

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

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
BMotionWeb Server Common Module
Last Release on Nov 6, 2016

12. Translator1 usages

de.hhu.stups » translatorEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017
Parser for a LTL Pattern DSL
Last Release on Aug 12, 2015

14. Prob2 Kernel1 usages

de.hhu.stups » de.prob2.kernelEPL

The ProB 2.0 Kernel
Last Release on Oct 6, 2017

15. Theorymapping1 usages

de.hhu.stups » theorymappingEPL

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

17. Cliparser1 usages

de.hhu.stups » cliparserEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

18. Eventbalg1 usages

de.hhu.stups » eventbalgEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017

19. Propra_ss17.diary

de.hhu.stups » propra_ss17.diaryEPL

Propra 1 Projekt 6 Helper Library
Last Release on Jul 3, 2017

20. ProB Kodkod

de.hhu.stups » probkodkodMIT

Wrapper to use Kodkod in ProB.
Last Release on Oct 7, 2016