BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny.

Ziqing Su, Sini Chen, Ran Li, Huibiao Zhu, Jiapeng Wang

Browse the full APSEC paper archive.