Abstraction refinement and antichains for trace inclusion of infinite state systems - Holík, Lukáš; Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš (Formal methods in system design, 2020)
Keywords: CAE) and Design; Circuits and Systems; Computer Science; Computer-Aided Engineering (CAD; Electrical Engineering; Engineering; Formal Languages and Automata Theory; Software Engineering/Programming and Operating Systems; Trace inclusion; Interpolation; CEGAR; Simulation relations; Data automata; Generic register automata; Antichains