CLIMB
C
omputational
L
ogic for the ver
I
fication and
M
odeling of
B
usiness processes and choreographies
Home
News
Specification
Mapping Examples
DecSerFlow Extensions
Verification
Conformance
Static Verification
Interoperability
Process Mining
Enactment
Tools
S
CIFF
SOCS-SI
S
CIFF Checker
DecMiner
DEClipse
Examples
Benchmarks
People
Publications
Tools
DecMiner
Sections
S
CIFF
SOCS-SI
S
CIFF Checker
DecMiner
DEClipse
Acknowledgments
DecMiner has been developed by
Evelina Lamma
Fabrizio Riguzzi
Sergio Storari
DecMiner
Page under construction
Installation