C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Bounded Model Checking for Hyperproperties.
Tzu-Han Hsu
César Sánchez
Borzoo Bonakdarpour
Published in:
TACAS (1) (2021)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
model checker