Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. - Zhen You; Xinwu Yi; Jinyun Xue; Hongwen Hu; Jiewen Huang; Zhuo Cheng (SOFL+MSVL, 2022)