Computer-assisted verification of software control

• 软件控制的计算机辅助审核