Bounded model checking for asynchronous hyperproperties

DOI10.1007/978-3-031-30823-9_2zbMath1543.68216MaRDI QIDQ6535338

Bernd Finkbeiner, Borzoo Bonakdarpour, Tzu-Han Hsu, César Sánchez

Publication date: 13 December 2023

Mathematics Subject Classification ID

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

This page was built for publication: Bounded model checking for asynchronous hyperproperties