MU-TERM: Verify Termination Properties Automatically (System Description)

机译：MU-TERM：自动验证终止属性（系统说明）

获取原文

页面导航

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

摘要

We report on the new version of mu-term, a tool for proving termination properties of variants of rewrite systems, including conditional, context-sensitive, equational, and order-sorted rewrite systems. We follow a unified, logic-based approach to describe rewriting computations. The automatic generation of logical models for suitable first-order theories and formulas provides a common basis to implement the proofs.

机译：我们报告了新版本的mu-term，这是一种用于证明重写系统变体的终止属性的工具，包括条件，上下文相关，方程式和顺序排序的重写系统。我们遵循基于逻辑的统一方法来描述重写计算。适当的一阶理论和公式的逻辑模型的自动生成为实施证明提供了通用基础。

著录项

来源
《International Joint Conference on Automated Reasoning》|2020年|436-447|共12页
会议地点
作者
Raul Gutierrez; Salvador Lucas;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS [J] . WERNER DAMM, GUILHERME PINTO, STEFAN RATSCHAN International Journal of Foundations of Computer Science . 2007,第1期

机译：非线性鲁棒离散时间混合系统LTL特性验证中的有保证终止
2. Verifying Termination and Reduction Properties about Higher-Order Logic Programs [J] . BRIGITTE PIENTKA Journal of Automated Reasoning . 2005,第2期

机译：验证有关高阶逻辑程序的终止和归约属性
3. A quality requirements model and verification approach for system of systems based on description logic [J] . Qing-long?Wang, Zhi-xue?Wang, Ting-ting?Zhang, Frontiers of Information Technology & Electronic Engineering . 2017,第3期

机译：基于描述逻辑的系统质量需求模型和验证方法
4. Proving Termination Properties with MU-TERM [C] . Beatriz Alarcon, Raul Gutierrez, Salvador Lucas, International Conference on Algebraic Methodology and Software Technology . 2011

机译：用mu术语证明终止性质
5. Automatic verification of behavioral specifications in software intensive systems. [D] . Soeanu Caval, Andrei. 2007

机译：在软件密集型系统中自动验证行为规范。
6. Performance verification and comparison of TianLong automatic hypersensitive hepatitis B virus DNA quantification system with Roche CAP/CTM system [O] . Ming Li, Lin Chen, Li-Ming Liu, 2017

机译：使用Roche CAP / CTM系统的天龙自动超敏乙型肝炎病毒DNA定量系统的性能验证和比较
7. mu-term: Verify Termination Properties Automatically (System Description) [O] . Raúl Gutiérrez, Salvador Lucas 2020

机译：mu-term：自动验证终止属性（系统描述）
8. Saturn i launch vehicle sa-10 and launch complex 37b functional systems description. volume x- separation and flight termination systems functional description, index of finding numbers, and mechanical schematics [R] . 1964

机译：土星我发射了车辆sa-10并发射了复杂的37b功能系统描述。体积x-分离和飞行终止系统功能描述，查找数字索引和机械原理图

MU-TERM: Verify Termination Properties Automatically (System Description)

摘要

著录项

相似文献

相关主题

期刊订阅