小巧的逻辑：对线性时态逻辑（LTL）理解中的误解

摘要：LTL使用中的误解研究：发现、影响和解决方法

作者：Ben Greenman (Brown University, USA), Sam Saarinen (Brown University, USA), Tim Nelson (Brown University, USA), Shriram Krishnamurthi (Brown University, USA)

论文ID：2211.01677

分类：Programming Languages

分类简称：cs.PL

提交时间：2022-11-04

PDF 下载： 英文版 中文版pdf翻译中