Conformance checking of real-time models. Symbolic execution vs. bounded model checking

DOI10.1007/978-3-319-30734-3_4zbMath1475.68171OpenAlexW2342538055MaRDI QIDQ2026779

Bernhard K. Aichernig, Florian Lorber, Martin Tappler

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Bounded determinization of timed automata with silent transitions

This page was built for publication: Conformance checking of real-time models. Symbolic execution vs. bounded model checking