Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems
From MaRDI portal
Publication:5082182
DOI10.1007/978-3-319-60840-2_35zbMath1489.68143OpenAlexW2642748444WikidataQ62046849 ScholiaQ62046849MaRDI QIDQ5082182
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
Publication date: 15 June 2022
Published in: Rough Sets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-60840-2_35
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems
