a programs verification system
程序验证系统
以上为机器翻译结果，长、整句建议使用 人工翻译 。
In terms of the authors sketch of design and verification of safety programs, a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架，为类c语言的一个子集设计了一个指针逻辑系统。
youdao
应用推荐
模块上移
模块下移
不移动