Explaining Hyperproperty Violations

DOI10.1007/978-3-031-13185-1_20zbMath1514.68127MaRDI QIDQ6487323

Norine Coenen, Niklas Metzger, Bernd Finkbeiner, Raimund Dachselt, Hadar Frenkel, Christopher Hahn, Julian Siber, Unnamed Author

Publication date: 7 December 2022

Mathematics Subject Classification ID

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

This page was built for publication: Explaining Hyperproperty Violations