首页> 外文OA文献 >Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development

【2h】

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development

机译：演绎推理与模型检验：系统开发的两种形式化方法

页面导航

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

著录项

作者
J.N. Reed; J. E. Sinclair; F. Guigand;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. New Evidence for Distinct Right and Left Brain Systems for Deductive versus Probabilistic Reasoning. [J] . Parsons LM, Osherson D Cerebral cortex . 2001,第10期

机译：演绎推理和概率推理中不同的左右脑系统的新证据。
2. Automatic refinement verification based on deductive model checking for infinite-state systems [J] . Chikahiro Umeda, Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第97期

机译：基于无限状态系统的演绎模型检查的自动细化验证
3. Automatic refinement verification based on deductive model checking for infinite-state systems [J] . Chikahiro Umeda, Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第97期

机译：基于无限状态系统的演绎模型检查的自动细化验证
4. Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development [C] . J. N. Reed, J. E. Sinclair, F. Guigand International symposium on integrated formal methods . 1999

机译：演绎推理与模型检查：两种系统开发方法
5. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. [D] . Chang, Che-Wei. 2015

机译：使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
6. Knowledge mobilisation for policy development: implementing systems approaches through participatory dynamic simulation modelling [O] . Louise Freebairn, Lucie Rychetnik, Jo-An Atkinson, 2017

机译：为政策制定而动员知识：通过参与式动态模拟建模实施系统方法
7. Pragmatic versus syntactic approaches to training deductive reasoning [O] . Patricia W Cheng, Keith J Holyoak, Richard E Nisbett, 1986

机译：务实的与识别训练的概要方法
8. Open Architectures for Formal Reasoning and Deductive Technologies for Software Development [R] . Mason, Ian, Pnueli, Amir, Talcott, Carolyn, 1994

机译：用于软件开发的形式推理和演绎技术的开放式体系结构

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development

著录项

引文网络

相似文献

相关主题

期刊订阅