首页> 外文OA文献 >Verifying Concurrent Systems with Symbolic Execution : Temporal Reasoning is Symbolic Execution with a Little Induction

【2h】

Verifying Concurrent Systems with Symbolic Execution : Temporal Reasoning is Symbolic Execution with a Little Induction

机译：使用符号执行验证并发系统：时间推理是符号执行的一点点归纳

页面导航

著录项
相似文献
相关主题

著录项

作者
Balser Michael;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more [J] . Hentschel Martin, Bubel Richard, Haehnle Reiner International Journal on Software Tools for Technology Transfer . 2019,第5期

机译：符号执行调试器（SED）：用于交互式符号执行，调试，验证等的平台
2. Interactive verification of concurrent systems using symbolic execution [J] . Simon Baeumler, Michael Balser, Florian Nafz, AI communications . 2010,第2a3期

机译：使用符号执行对并发系统进行交互式验证
3. Verifying Concurrent Systems with Symbolic Execution [J] . Michael Balser, Christoph Duelli, Wolfgang Reif Journal of logic and computation . 2002,第4期

机译：用符号执行验证并发系统
4. Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion [C] . Miguel Romero, Camilo Rocha International symposium on NASA formal methods . 2018

机译：带有空间挤压的空间并发约束系统的重写模SMT符号执行和可达性分析
5. EPITAXIS: A system for syntactic and semantic software queries using deductive retrieval and symbolic execution [D] . Benvenuto, James. 2010

机译：EPISTAXIS：使用演绎检索和符号执行的句法和语义软件查询系统
6. From Non-symbolic to Symbolic Proportions and Back: A Cuisenaire Rod Proportional Reasoning Intervention Enhances Continuous Proportional Reasoning Skills [O] . Roberto A. Abreu-Mendoza, Linsah Coulanges, Kendell Ali, 2021

机译：从非符号到象征性比例和背部：一个详细的菜单棒比例推理干预增强了连续比例推理技能
7. Interactive verification of concurrent systems using symbolic execution [O] . Simon Bäumler, Michael Balser, Florian Nafz, 2010

机译：使用符号执行的并发系统的交互式验证

Verifying Concurrent Systems with Symbolic Execution : Temporal Reasoning is Symbolic Execution with a Little Induction

著录项

相似文献

相关主题

期刊订阅