Verification and Evaluation of Computer and Communication SystemsYu-Fang Chen Belgacem Ben Hedia, Zhenhua Yu Gaiyun Liu₹4,864