DOI10.1007/978-3-319-95582-7_26zbMath1460.68055MaRDI QIDQ2024362
Orna Kupferman, Hana Chockler, Shibashis Guha
Publication date: 4 May 2021
Full work available at URL: https://doi.org/10.1007/978-3-319-95582-7_26
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic