Beast code in Giters

PADS-UPC's repositories

Alignment between log traces and formal process models using relaxation labeling

Language:C++AGPL-3.02 10

ATDP Extractor

Language:Java100

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

Language:ClojureGPL-3.01 20

Decision Model Extractor

Language:Java1 20

The source code for ModelJudge and ATDlib

Language:Clojure1 20

Editor for Annotated Textual Descriptions

Language:JavaScript020

Simulation of ATDP specifications

Language:Clojure000

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

Language:Java020