-
VERIFAS: A Practical Verifier for Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime exp...
read it
-
SpinArt: A Spin-based Verifier for Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime exp...
read it

Victor Vianu
is this you? claim profile