Correlating Structured Inputs and Outputs in Functional Specifications

机译：在功能规格中关联结构化的输入和输出

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We present a static correlation analysis that computes a safe approximation of what paxt of an input state of a function is copied to the output state. This information is to be used by an interactive theorem prover to automate the discharging of proof obligations concerning unmodified parts of the state. The analysis is defined for a strongly-typed, functional language that handles structures, variants and arrays. It uses partial equivalence relations as approximations of fine-grained correlations between inputs and outputs. The analysis is interproce-dural and summarizes not only what is modified but also how and to what extent. We have applied it to a functional specification of a microkernel, and obtained results that demonstrate both its precision and its scalability.

机译：我们提出了一种静态相关性分析，可以计算将函数的输入状态的多少复制到输出状态的安全近似值。交互式定理证明者将使用此信息来自动履行有关国家未修改部分的证明义务。分析是针对处理结构，变体和数组的强类型功能语言定义的。它使用部分等价关系作为输入和输出之间细粒度相关性的近似值。分析是过程间的，不仅总结了修改的内容，还总结了修改的方式和程度。我们已将其应用于微内核的功能规范，并获得了证明其精度和可扩展性的结果。

著录项

来源
《Software engineering and formal methods》|2016年|85-103|共19页
会议地点 Vienna(AU)
作者
Oana Fabiana Andreescu; Thomas Jensen; Stephane Lescuyer;
展开▼
作者单位

Prove Run, 75017 Paris, France,INRIA Rennes - Bretagne Atlantique, Rennes, France;

Prove Run, 75017 Paris, France,INRIA Rennes - Bretagne Atlantique, Rennes, France;

Prove Run, 75017 Paris, France;

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

相似文献

外文文献
中文文献
专利

1. Sensitivity analysis method for model with correlated inputs and multivariate output and its application to aircraft structure [J] . Xu Liyang, Lu Zhenzhou, Li Luyi, Computer Methods in Applied Mechanics and Engineering . 2019,第Octa1期

机译：具有关联输入和多元输出的模型灵敏度分析方法及其在飞机结构中的应用
2. Sensitivity analysis method for model with correlated inputs and multivariate output and its application to aircraft structure [J] . Xu Liyang, Lu Zhenzhou, Li Luyi, Computer Methods in Applied Mechanics and Engineering . 2019,第OCTa1期

机译：具有关联输入和多元输出的模型灵敏度分析方法及其在飞机结构中的应用
3. Identification of systems with cyclostationary input and correlated input/output measurement noise [J] . Gardner W.A. IEEE Transactions on Automatic Control . 1990,第4期

机译：识别具有循环平稳输入和相关输入/输出测量噪声的系统
4. Correlating Structured Inputs and Outputs in Functional Specifications [C] . Oana Fabiana Andreescu, Thomas Jensen, Stephane Lescuyer International Conference on Software Engineering and Formal Methods . 2016

机译：在功能规范中关联结构化输入和输出
5. A Generalized Hinfinity Mixed Sensitivity Convex Approach to Multivariable Control Design Subject to Simultaneous Output and Input Loop-Breaking Specifications [D] . Puttannaiah, Karan. 2018

机译：同时输出和输入环路破坏指标的多变量控制设计的广义Hinfinity混合灵敏度凸方法
6. Homeostatic Plasticity of Subcellular Neuronal Structures: From Inputs to Outputs [O] . Winnie Wefelmeyer, Christopher J. Puhl, Juan Burrone -1

机译：亚细胞神经元结构的稳态可塑性：从输入到输出
7. Structured Input vs. Structured Output Task’s Effects on the Acquisition of the English Causative Forms: Discourse-Level. Structured Input vs. Structured Output Task’s Effects on the Acquisition of the English Causative Forms: Discourse-Level. [O] . Najat Alabdullah 2021

机译：结构化输入与结构输出任务对收购英语致病形式的影响：话语级。结构化输入与结构输出任务对收购英语致病形式的影响：话语级。
8. Stability of input structures in a supply-driven input-output model: A regional analysis [R] . Allison, T 1994

机译：供应驱动的投入产出模型中输入结构的稳定性：区域分析

Correlating Structured Inputs and Outputs in Functional Specifications

摘要

著录项

相似文献

相关主题

期刊订阅