SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems.

Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Gser, Holger Pfeifer, Manfred Reichert, Peter Dadam

Browse the full CaiSE paper archive.