Abstraction refinement and antichains for trace inclusion of infinite state systems

From MaRDI portal
Publication:5919079

DOI10.1007/s10703-020-00345-1zbMath1506.68046arXiv1410.5056OpenAlexW2997994926MaRDI QIDQ5919079

Tomáš Vojnar, Lukáš Holík, Adam Rogalewicz, Radu Iosif

Publication date: 8 February 2021

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.5056




Uses Software


Cites Work