Indexed Artifacts (24.0M)

Popular Categories

Group: Hhu STUPS

Sort: popular | newest

1. Prologlib12 usages

de.hhu.stups » prologlibEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021

2. Bparser8 usages

de.hhu.stups » bparserEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021

3. Parserbase7 usages

de.hhu.stups » parserbaseEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021
This is the runtime support library for the Stups fork of SableCC. It provides common classes and interfaces used by the generated parsers at runtime.
Last Release on May 5, 2020

5. LTLParser6 usages

de.hhu.stups » ltlparserEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021
The ProB 2.0 Kernel library
Last Release on Jan 22, 2021
Library to translate Classical B values into Java objects.
Last Release on Nov 30, 2020

8. Unicode2 usages

de.hhu.stups » unicodeEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021

9. Answerparser2 usages

de.hhu.stups » answerparserEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021

10. TLA+ Tools2 usages

de.hhu.stups » tlatoolsMIT

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

11. TLA+ to B AST2 usages

de.hhu.stups » tla2bASTEPL

Translator from TLA+ to ProB's AST representation.
Last Release on Mar 11, 2021
Parser for a LTL Pattern DSL
Last Release on Feb 20, 2020
The AST library extracted from the Rodin Platform.
Last Release on Feb 24, 2016

14. Eventbalg1 usages

de.hhu.stups » eventbalgEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021

15. Alloy Core1 usages

de.hhu.stups » alloy-coreApache

The core of the Alloy tools
Last Release on Mar 10, 2020
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 Nov 7, 2019

18. Theorymapping1 usages

de.hhu.stups » theorymappingEPL

Part of the ProB Parser library
Last Release on Oct 4, 2021
Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
Last Release on Aug 18, 2021

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