SPV: Formal Verification of Stateful Parallel SFC Correctness
Year: 2024
Type: conference-paper
Authors: Yijun Guo, Zhenyu Liu, Yintan Ai, Hua Li
Institution: Inner Mongolia University
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4401880640