保存此搜索
研究论文 2017年6月 时间自动机中可达性的再检验 LICS’17:第32届ACM/IEEE计算机科学逻辑年会论文集 2017年6月, 文章编号:38 , 第1-12页 我们重温了实时验证中的一个基本结果,即给定时间自动机配置之间的二进制可达性关系可以在整数和实数上用线性算法定义。 本文给出了一个新的。。。 第条 2010年11月 基于约束矩阵图的全符号时间模型检验 我们提出了约束矩阵图(CMD),这是一种新的数据结构,用于时间自动机的完全符号可达性分析。 CMD结合了基于矩阵和基于图的状态空间表示,推广了差分界的概念。。。 第条 2010年10月 乐观复制算法的符号模型选择 IFM’10:第八届综合形式方法国际会议记录 2010年10月, 第89–104页 许多协作编辑器中使用的操作转换(OT)方法允许一组用户同时更新共享对象的副本,并以任何顺序交换其更新。 这种方法的基本思想是转换任何。。。