Bounded Model Checking for Asynchronous Hyperproperties.

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

Published in: CoRR (2023)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
asynchronous circuits
asynchronous communication
neural network
orders of magnitude
decision problems
reactive systems
asynchronous cellular automata