| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Correct and Efficient Antichain Algorithms for Refinement Checking
Abstract : Refinement checking plays an important role in system verification. This means that the correctness of the system is established by showing a refinement relation between two models; one for the implementation and one for the specification. In [21], Wang et al. describe an algorithm based on antichains for efficiently deciding stable failures refinement and failures-divergences refinement. We identify several issues pertaining to the correctness and performance in these algorithms and propose new, correct, antichain-based algorithms. Using a number of experiments we show that our algorithms outperform the original ones in terms of running time and memory usage.
Cited literature [24 references]
https://hal.inria.fr/hal-02313731
Contributor : Hal Ifip <>
Submitted on : Friday, October 11, 2019 - 2:55:05 PM
Last modification on : Friday, October 11, 2019 - 3:43:39 PM
Contributor : Hal Ifip <>
Submitted on : Friday, October 11, 2019 - 2:55:05 PM
Last modification on : Friday, October 11, 2019 - 3:43:39 PM
Licence
Distributed under a Creative Commons Attribution 4.0 International License