Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
复制标题
形式方法和软件工程 - 第 20 届形式工程方法国际会议，ICFEM 2018，澳大利亚昆士兰州黄金海岸，2018 年 11 月 12-16 日，论文集
DOI：
10.1007/978-3-030-02450-5_22
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Foster M
中科院分区：
文献类型：
--
作者：
Foster M
Please try later.
Model inference from system traces, e.g. for analysing legacy components or generating security tests for distributed components, is a common problem.Extended Finite State Machine(EFSM) models, managing an internal data state as a set of registers, are particularly well suited for capturing the behaviour ofstatefulcomponents however existing inference techniques for (E)FSMs lack the ability to infer the internal state and its update functions.In this paper, we present the underpinning formalism for an EFSM inference technique that involves the merging of transitions with updates to the internal data state. Our model is formalised in Isabelle/HOL, allowing for the machine-checked validation of transition merges and system properties.