FactorBound: Certified Subprocess-Extraction Bounds for Process Flowcharts

An analysis feature for process-modeling tools that computes provable upper and lower bounds on how much a big flowchart can shrink when refactored into subprocesses, so teams know when their restructuring is as good as it can get.