SOFTWARE MODEL CHECKING WITH EXPLICIT SCHEDULER AND SYMBOLIC THREADS

机译：用显式调度器和符号线程检查软件模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Alessandro Cimatti; Iman Narasamdya; Marco Roveri; Fondazione Bruno Kessler;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Software Model Checking with Explicit Scheduler and Symbolic Threads [J] . AlessandroCimatti, ImanNarasamdya, MarcoRoveri Logical Methods in Computer Science . 2012,第2期

机译：使用显式调度程序和符号线程进行软件模型检查
2. Proof assisted bounded and unbounded symbolic model checking of software and system models [J] . Sebastian Krings, Michael Leuschel Science of Computer Programming . 2018,第JUNa15期

机译：证明辅助的软件和系统模型的有界和无界符号模型检查
3. Control explicit-data symbolic model checking [J] . Lalit Saxena Computing reviews . 2016,第8期

机译：控制显式数据符号模型检查
4. SMT-Based Software Model Checking: Explicit Scheduler, Symbolic Threads [C] . Alessandro Cimatti International symposium on automated technology for verification and analysis . 2013

机译：基于SMT的软件模型检查：显式调度程序，符号线程
5. Symbolic model checking for large software specifications. [D] . Chan, Woon Chung. 1999

机译：用于大型软件规格的符号模型检查。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. Software Model Checking with Explicit Scheduler and Symbolic Threads [O] . Cimatti, Alessandro, Narasamdya, Iman, Roveri, Marco 2012

机译：使用显式调度程序和符号线程进行软件模型检查
8. Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL) [R] . Butler, Ricky W., Munoz, Cesar A., Siminiceanu, Radu I. 2007

机译：通过抽象计划准备语言（appL）到符号分析实验室（saL）的自动翻译模型检查解决aI planning plus调度问题

SOFTWARE MODEL CHECKING WITH EXPLICIT SCHEDULER AND SYMBOLIC THREADS

著录项

引文网络

相似文献

相关主题

期刊订阅