Sign in

Efficient Loop Conditions for Bounded Model Checking Hyperproperties.

Tzu-Han HsuCésar SánchezSarai SheinvaldBorzoo Bonakdarpour
Published in: CoRR (2023)
Keyphrases
  • bounded model checking
  • cost effective
  • computationally expensive
  • formal verification
  • data sets
  • sufficient conditions
  • database
  • information retrieval