Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)
Abstract elided by the publisher.
Related papers
- Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets TACAS 2018
- Computing the Expected Execution Time of Probabilistic Workflow Nets TACAS 2019
- Fast Termination and Workflow Nets CAV 2023
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations CAV 2022
- Weighted Soundness for Workflow Nets CAV 2026
- Reduction of Workflow Nets for Generalised Soundness Verification VMCAI 2017
- Parallel binary code analysis PPoPP 2021
- Applications of High-Level Control Flow POPL 1977