Linear Temporal Logic and Propositional Schemata, Back and Forth

资源类型: 资源大小: 文档分类: 上传者:
  • 未找到相关文档

文档信息

【作者】 Vincent Aravantinos  Ricardo Caferra  Nicolas Peltier 

【关键词】 Schemata  BMC  LTL  Natural  Schema 

【摘要】This paper relates the well-known Linear Temporal Logic [22] with the logic of propositional schemata introduced in [1]. We prove that LTL is equivalent to a class of schemata in the sense that polynomial-time reductions exist from one logic to the other. Some consequences about complexity are given. We report about first experiments and the consequences about possible improvements in existing implementations are analyzed.

参考文献

引证文献

问答

我要提问