AutoHyper: explicit-state model checking for HyperLTL
From MaRDI portal
Publication:6535349
DOI10.1007/978-3-031-30823-9_8zbMath1543.68193MaRDI QIDQ6535349
Raven Beutner, Bernd Finkbeiner
Publication date: 13 December 2023
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: AutoHyper: explicit-state model checking for HyperLTL