Repositories list

• uppaal-metamodel

  Public
  A metamodel based on EMF for timed automata as defined by the UPPAAL tool environment

  Java

  •

  Eclipse Public License 1.0

  •2•0•4•1•Updated Jan 6, 2025Jan 6, 2025

• uppaal-xtext

  Public
  A parser and serializer based on Xtext for the XML file format used by UPPAAL

  Java

  •

  Eclipse Public License 2.0

  •2•0•7•1•Updated Nov 5, 2024Nov 5, 2024

• .github

  Public
  0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

• uppaal

  Public archive
  EMF-based tooling for the UPPAAL model checker

  Java

  •

  Eclipse Public License 1.0

  •5•7•2•2•Updated Nov 23, 2022Nov 23, 2022