Efficient Loop Conditions for Bounded Model Checking Hyperproperties.

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

Published in: CoRR (2023)

Keyphrases

bounded model checking
cost effective
computationally expensive
formal verification
data sets
sufficient conditions
database
information retrieval