论文标题
从结构良好的过渡系统到程序验证
From Well Structured Transition Systems to Program Verification
论文作者
论文摘要
我们描述了WST理论用于验证程序的使用。
We describe the use of the theory of WSTS for verifying programs.
加入微信交流群
扫码加入学术交流群，获取更多资源
我们描述了WST理论用于验证程序的使用。
We describe the use of the theory of WSTS for verifying programs.
扫码加入学术交流群，获取更多资源