A First-Order Logic based Framework for Verifying Simulations

机译：基于一阶逻辑的验证仿真框架

代理获取

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

页面导航

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

著录项

作者
Hui Meen Nyew; Nilufer Onder; Soner Onder; Zhenlin Wang;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A framework for testing first-order logic axioms in program verification [J] . Bernard Kuc Computing reviews . 2014,第9期

机译：在程序验证中测试一阶逻辑公理的框架
2. A framework for testing first-order logic axioms in program verification [J] . Ki Yung Ahn, Ewen Denney Software Quality Journal . 2013,第1期

机译：在程序验证中测试一阶逻辑公理的框架
3. A General Formal Memory Framework for Smart Contracts Verification based on Higher-Order Logic Theorem Proving [J] . Zheng Yang, Hang Lei International Journal of Performability Engineering . 2019,第11期

机译：基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
4. A First-Order Logic-Based Framework for Verifying Simulations [C] . Hui Meen Nyew, Nilufer Onder, Soner Onder, AAAI conference on artificial intelligence;Innovative applications of artificial intelligence conference;Symposium on educational advances in artificial intelligence . 2013

机译：用于验证仿真的基于逻辑的一阶框架
5. A tableau-based workflow verification framework for Computation Tree Logic (CTL). [D] . Islam, Md Zahidul. 2012

机译：基于树的工作流验证框架，用于计算树逻辑（CTL）。
6. Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences [O] . Martin Michalowski, Szymon Wilk, Daniela Rosu, 2015

机译：扩展一阶逻辑缓解框架以处理多种病态的患者偏好
7. Charaterising Object-Based Frameworks in First-Order Predicate Logic [O] . Shui-ming Ho, Kung-kiu Lau 2008

机译：一阶谓词逻辑中的基于特征的对象框架
8. Methodology for Hardware Verification Based on Logic Simulation [R] . Bryant, R. E. 1987

机译：基于逻辑仿真的硬件验证方法

A First-Order Logic based Framework for Verifying Simulations

著录项

引文网络

相似文献

相关主题

期刊订阅