Repositories list

• DMExtractor

  Public
  Decision Model Extractor

  Java

  •0•1•0•0•Updated May 10, 2022May 10, 2022

• atd-editor

  Public
  Editor for Annotated Textual Descriptions

  JavaScript

  •0•0•0•0•Updated May 13, 2021May 13, 2021

• RL-align

  Public
  Alignment between log traces and formal process models using relaxation labeling

  C++

  •

  GNU Affero General Public License v3.0

  •2•2•0•0•Updated Dec 28, 2020Dec 28, 2020

• atdp-extractor

  Public
  ATDP Extractor

  Java

  •0•1•0•0•Updated Sep 24, 2020Sep 24, 2020

• atdp-simulator

  Public
  Simulation of ATDP specifications

  Clojure

  •0•0•0•0•Updated May 20, 2019May 20, 2019

• atdplib-model

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

  Java

  •0•0•0•0•Updated May 20, 2019May 20, 2019

• atdp2nusmv

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

  Clojure

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Mar 5, 2019Mar 5, 2019

• modeljudge

  Public
  The source code for ModelJudge and ATDlib

  Clojure

  •1•1•0•0•Updated Jun 18, 2018Jun 18, 2018