Skip to content
@PADS-UPC

PADS-UPC

Popular repositories Loading

  1. RL-align RL-align Public

    Alignment between log traces and formal process models using relaxation labeling

    C++ 2 2

  2. modeljudge modeljudge Public

    The source code for ModelJudge and ATDlib

    Clojure 1 1

  3. atdp2nusmv atdp2nusmv Public

    A program to convert ATDP specifications into NuSMV models for formal model checking.

    Clojure 1

  4. atdp-extractor atdp-extractor Public

    ATDP Extractor

    Java 1

  5. DMExtractor DMExtractor Public

    Decision Model Extractor

    Java 1

  6. atd-editor atd-editor Public

    Editor for Annotated Textual Descriptions

    JavaScript

Repositories

Showing 8 of 8 repositories
  • DMExtractor Public

    Decision Model Extractor

    PADS-UPC/DMExtractor’s past year of commit activity
    Java 1 0 0 0 Updated May 10, 2022
  • atd-editor Public

    Editor for Annotated Textual Descriptions

    PADS-UPC/atd-editor’s past year of commit activity
    JavaScript 0 0 0 0 Updated May 13, 2021
  • RL-align Public

    Alignment between log traces and formal process models using relaxation labeling

    PADS-UPC/RL-align’s past year of commit activity
    C++ 2 AGPL-3.0 2 0 0 Updated Dec 28, 2020
  • atdp-extractor Public

    ATDP Extractor

    PADS-UPC/atdp-extractor’s past year of commit activity
    Java 1 0 0 0 Updated Sep 24, 2020
  • atdp-simulator Public

    Simulation of ATDP specifications

    PADS-UPC/atdp-simulator’s past year of commit activity
    Clojure 0 0 0 0 Updated May 20, 2019
  • atdplib-model Public

    The core model classes to represent the elements of the Annotated Textual Process Descriptions (ATDP) language

    PADS-UPC/atdplib-model’s past year of commit activity
    Java 0 0 0 0 Updated May 20, 2019
  • atdp2nusmv Public

    A program to convert ATDP specifications into NuSMV models for formal model checking.

    PADS-UPC/atdp2nusmv’s past year of commit activity
    Clojure 1 GPL-3.0 0 0 0 Updated Mar 5, 2019
  • modeljudge Public

    The source code for ModelJudge and ATDlib

    PADS-UPC/modeljudge’s past year of commit activity
    Clojure 1 1 0 0 Updated Jun 18, 2018

Top languages

Loading…

Most used topics

Loading…