摘要

众所周知,线性时间时序逻辑(LTL)是一种用于验证和指定并发系统的有用逻辑。本文介绍了LTL及其子结构精化的阶段语义,并基于该语义证明了LTL及精化的完备性定理和删减定理。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。