Bounded model checking for asynchronous hyperproperties
type: Item
instance of: scholarly article
title: Bounded model checking for asynchronous hyperproperties
zbMATH Open document ID: 1543.68216
DOI: 10.1007/978-3-031-30823-9_2
author: Tzu-Han Hsu
author: Borzoo Bonakdarpour
author: Bernd Finkbeiner
author: César Sánchez
publication date: 2023-12-13T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7777297
MaRDI profile type: Publication
cites work: A temporal logic for asynchronous hyperproperties
cites work: Verifying hyperliveness
cites work: Algorithms for model checking HyperLTL and HyperCTL\(^*\)
cites work: Bounded model checking for hyperproperties
cites work: Witnessing secure compilation
description: scientific article; zbMATH DE number 7777297