DOI10.1007/978-3-319-63390-9_19zbMath1494.68156MaRDI QIDQ2164236
Orna Kupferman, Shaull Almagor, Jan Oliver Ringert, Yaron Velner
Publication date: 12 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-319-63390-9_19
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic