Bounded Model Checking for Hyperproperties.

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

Published in: CoRR (2020)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
multi agent