首页> 外文OA文献 >Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

【2h】

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

机译：通过输入等价类划分进行有效的无限状态模型检查

代理获取

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

页面导航

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

摘要

Part 1: Model Based Testing

机译：第1部分：基于模型的测试

著录项

作者
Krafczyk, Niklas; Peleska, Jan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Equivalence-checking on infinite-state systems: Techniques and results [J] . ANTONIN KUCERA, PETR JANCAR Theory and Practice of Logic Programming . 2006,第Pt3期

机译：无限状态系统上的等效检查：技术和结果
2. Model-checking trace-based information flow properties for infinite-state systems [J] . Deepak DSouza, K.R. Raghavendra Journal of computer security . 2016,第5期

机译：无限状态系统的基于模型检查的基于跟踪的信息流属性
3. Abstract Logical Model Checking of Infinite-State Systems Using Narrowing [J] . Kyungmin Bae, Santiago Escobar, Jos{e} Meseguer LIPIcs : Leibniz International Proceedings in Informatics . 2013,第1期

机译：利用窄化对无限状态系统进行抽象逻辑模型检查
4. Effective Infinite-State Model Checking by Input Equivalence Class Partitioning [C] . Niklas Krafczyk, Jan Peleska IFIP WG 6.1 international conference on testing software and systems . 2017

机译：通过输入等价类划分进行有效的无限状态模型检查
5. Tabled resolution and constraints for model checking real-time systems and infinite-state systems. [D] . Du, Xiaoqun. 2000

机译：列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
6. Prediction of passive blood-brain partitioning: straightforward and effective classification models based on in silico derived physicochemical descriptors [O] . Santiago Vilar, Mayukh Chakrabarti, Stefano Costanzi -1

机译：无源血脑分区预测：基于硅衍生物理化学描述符的直接和有效分类模型
7. Effective Infinite-State Model Checking by Input Equivalence Class Partitioning [O] . Krafczyk, Niklas, Peleska, Jan 2017

机译：通过输入等价类划分进行有效的无限状态模型检查
8. Realization of TSC Checkers for M-out-of-N Codes Based on Optimal Input Partitions [R] . Gaitanis, N., Halatsis, C. 1982

机译：基于最优输入分区的m-out-of-N代码TsC检查器的实现

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅