PADS-UPC

Popular repositories

1. RL-align Public

   Alignment between log traces and formal process models using relaxation labeling

   C++ 2 2

2. modeljudge Public

   The source code for ModelJudge and ATDlib

   Clojure 1 1

3. atdp2nusmv Public

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

   Clojure 1

4. atdp-extractor Public

   ATDP Extractor

   Java 1

5. atd-editor Public

   Editor for Annotated Textual Descriptions

   JavaScript

6. atdplib-model Public

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

   Java