HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties.

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

Published in: CoRR (2021)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
set theory
symbolic model checking
ai planning
quantified boolean formulas
specification language
software architecture
rough sets
learning algorithm
binary decision diagrams