时序逻辑程序设计论文

框架时序逻辑程序语言MSVL的形式语义
论文摘要形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指...