SPV: Formal Verification of Stateful Parallel SFC Correctness.

Yijun Guo, Zhenyu Liu, Yintan Ai, Hua Li

Browse the full COMPSAC paper archive.