并行程序	程序证明
_concurrent program, parallel program	_program certification