Bounded model checking for asynchronous hyperproperties

DOI10.1007/978-3-031-30823-9_2zbMATH Open1543.68216MaRDI QIDQ6535338FDOQ6535338

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

Publication date: 13 December 2023

Recommendations

• A temporal logic for asynchronous hyperproperties
• Asynchronous extensions of hyperLTL
• Bounded model checking for hyperproperties
• Probabilistic Hyperproperties with Nondeterminism
• On verifying timed hyperproperties

Mathematics Subject Classification ID

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

Cites Work

• Witnessing secure compilation
• Algorithms for model checking HyperLTL and HyperCTL\(^*\)
• Bounded model checking for hyperproperties
• Verifying hyperliveness
• A temporal logic for asynchronous hyperproperties

Cited In (4)

• Model checking quantitative hyperproperties
• Exploiting step semantics for efficient bounded model checking of asynchronous systems
• Efficient loop conditions for bounded model checking hyperproperties
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535338)