Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems
复制标题
验证无限状态系统的日益富有表现力的时态逻辑
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Byron Cook
中科院分区：
文献类型：
--
作者：
Byron Cook
登录
查看更多内容
一个轻量级的java LTL运行时验证工具
DOI：
--
发表时间：
2004
期刊：
Conference on Object-Oriented Programming Systems, Languages, and Applications
影响因子：
--
作者：
E. Bodden
通讯作者：
E. Bodden
CTL FO 验证作为约束求解
影响因子：
1.8
作者：
Tewodros A. Beyene;Marc Brockschmidt;A. Rybalchenko
通讯作者：
A. Rybalchenko
解决存在量化的喇叭子句
DOI：
10.1007/978-3-642-39799-8_61
发表时间：
2013
期刊：
影响因子：
--
作者：
Tewodros A. Beyene;Corneliu Popeea;Andrey Rybalchenko
通讯作者：
Andrey Rybalchenko
DOI：
10.1007/978-3-540-74061-2_26
发表时间：
2007
期刊：
SIAM J. Comput.
影响因子：
--
作者：
Stephen Magill;Josh Berdine;E. Clarke;B. Cook
通讯作者：
B. Cook
证明程序最终会做一些好事
DOI：
10.1145/1190215.1190257
发表时间：
2007
期刊：
Sigplan Notices
影响因子：
--
作者：
Byron Cook;Alexey Gotsman;A. Podelski;A. Rybalchenko;M. Vardi
通讯作者：
M. Vardi