Bounded Model Checking for Asynchronous Hyperproperties.

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

Published in: TACAS (1) (2023)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
asynchronous circuits
multi agent systems
asynchronous communication
discussion forums
evaluation function
content analysis
delay insensitive