PADS-UPC

Pinned Repositories

atd-editor
Editor for Annotated Textual Descriptions
Language:JavaScript0 2 00
atdp-extractor
ATDP Extractor
Language:Java10
atdp-simulator
Simulation of ATDP specifications
Language:Clojure0 2 00
atdp2nusmv
A program to convert ATDP specifications into NuSMV models for formal model checking.
Language:Clojure1 2 00
atdplib-model
The core model classes to represent the elements of the Annotated Textual Process Descriptions (ATDP) language
Language:Java0 2 00
DMExtractor
Decision Model Extractor
Language:Java1 2 00
modeljudge
The source code for ModelJudge and ATDlib
Language:Clojure1 2 01
RL-align
Alignment between log traces and formal process models using relaxation labeling
Language:C++2 1 02

PADS-UPC's Repositories

PADS-UPC/RL-align
Alignment between log traces and formal process models using relaxation labeling
Language:C++2 1 02
PADS-UPC/atdp-extractor
ATDP Extractor
Language:Java10
PADS-UPC/atdp2nusmv
A program to convert ATDP specifications into NuSMV models for formal model checking.
Language:Clojure1 2 00
PADS-UPC/DMExtractor
Decision Model Extractor
Language:Java1 2 00
PADS-UPC/modeljudge
The source code for ModelJudge and ATDlib
Language:Clojure1 2 01
PADS-UPC/atd-editor
Editor for Annotated Textual Descriptions
Language:JavaScript0 2 00
PADS-UPC/atdp-simulator
Simulation of ATDP specifications
Language:Clojure0 2 00
PADS-UPC/atdplib-model
The core model classes to represent the elements of the Annotated Textual Process Descriptions (ATDP) language
Language:Java0 2 00