首页> 外文OA文献 >A Dataflow Analysis to Improve SAT-based Bounded Program Verification

【2h】

A Dataflow Analysis to Improve SAT-based Bounded Program Verification

机译：改进基于SAT的有界程序验证的数据流分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bruno Cuervo Parrino; Juan Pablo Galeotti; Diego Garbervetsky; Marcelo F. Frias; Departmento De Computación;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds [J] . Galeotti, Juan P., Rosner, IEEE Transactions on Software Engineering . 2013,第9期

机译：TACO：使用对称破缺和紧密边界的基于SAT的有效边界验证
2. TacoFlow: optimizing SAT program verification using dataflow analysis [J] . Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Software and systems modeling . 2015,第1期

机译：TacoFlow：使用数据流分析优化SAT程序验证
3. Efficient SAT-based bounded model checking for software verification [J] . Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Theoretical computer science . 2008,第3期

机译：高效的基于SAT的边界模型检查，用于软件验证
4. A Dataflow Analysis to Improve SAT-Based Bounded Program Verification [C] . Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Software engineering and formal methods . 2011

机译：改进基于SAT的有界程序验证的数据流分析
5. Dataflow Synthesis and Verification for Parallel Object-Oriented Programming Languages. [D] . Wu, Shuang. 2011

机译：并行面向对象编程语言的数据流综合和验证。
6. Dataflow programming for the analysis of molecular dynamics with AViS an analysis and visualization software application [O] . Kai Pua, Daisuke Yuhara, Sho Ayuba, 2020

机译：DataFlow编程用于分析AVIS分析和可视化软件应用程序
7. Dataflow programs analysis and optimization using model predictive control techniques: An example of bounded buffer scheduling [O] . Canala, Massimo, Casale Brunet, Simone, Bezati, Endri, 2014

机译：使用模型预测控制技术进行数据流程序分析和优化：有界缓冲区调度的一个例子

A Dataflow Analysis to Improve SAT-based Bounded Program Verification

著录项

引文网络

相似文献

相关主题

期刊订阅