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. TLA+ To B AST2 usages

de.hhu.stups » tla2bASTEPL

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

6. Answerparser2 usages

de.hhu.stups » answerparserEPL

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

7. Unicode2 usages

de.hhu.stups » unicodeEPL

Part of the ProB Parser library
Last Release on Oct 6, 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
Parser for a LTL Pattern DSL
Last Release on Aug 12, 2015


10. Prob2 Kernel1 usages

de.hhu.stups » de.prob2.kernelEPL

The ProB 2.0 Kernel
Last Release on Oct 6, 2017

11. Cliparser1 usages

de.hhu.stups » cliparserEPL

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

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

15. Translator1 usages

de.hhu.stups » translatorEPL

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

16. Eventbalg1 usages

de.hhu.stups » eventbalgEPL

Part of the ProB Parser library
Last Release on Oct 6, 2017
The AST library extracted from the Rodin Platform.
Last Release on Feb 24, 2016

18. 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

19. Virtual Kata Lib

de.hhu.stups » virtual-kata-libEPL

Virtual Kata Compiler
Last Release on Nov 30, 2016

20. Eventbstruct

de.hhu.stups » eventbstructEPL

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