首页> 外文OA文献 >Theorem and Algorithm Checking for Courses on Logic and Formal Methods

【2h】

Theorem and Algorithm Checking for Courses on Logic and Formal Methods

机译：逻辑与形式方法课程的定理和算法检查

代理获取

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

页面导航

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

著录项

作者
Wolfgang Schreiner;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking [J] . Dai Shengxin, Hong Mei, Guo Bing, Mathematical Problems in Engineering . 2015,第Pta22期

机译：基于统计模型检验的RT-DVS算法评估的一种形式化方法
2. Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude [J] . Peter Csaba Olveczky, Stian Thorvaldsen Theoretical computer science . 2009,第2a3期

机译：实时Maude中无线传感器网络算法的形式化建模，性能评估和模型检查
3. Checking the consistency of Object-Z formal specification based on theorem proof [J] . Wan Weiqing, Yu Yongqing, Zeng Qingyan, Journal of Computational Methods in Sciences and Engineering . 2020,第1期

机译：基于定理证明检查对象-Z正式规范的一致性
4. Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking [C] . Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, International symposium on NASA formal methods . 2018

机译：结合定理证明和模型检验的形式化动态故障树分析
5. Logics and algorithms for software model checking. [D] . Chaudhuri, Swarat. 2007

机译：用于软件模型检查的逻辑和算法。
6. A Formal Algorithm for Verifying the Validity of Clustering Results Based on Model Checking [O] . Shaobin Huang, Yuan Cheng, Dapeng Lang, -1

机译：一种基于模型检查的聚类结果有效性验证的形式化算法
7. Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude [O] . Ölveczky Peter Csaba, Thorvaldsen Stian 2009

机译：实时Maude中无线传感器网络算法的形式化建模，性能评估和模型检查
8. Two Methods for Checking Formulas of Temporal Logic [R] . McGuire, H. W. 1995

机译：检验时态逻辑公式的两种方法

Theorem and Algorithm Checking for Courses on Logic and Formal Methods

著录项

引文网络

相似文献

相关主题

期刊订阅