Login / Signup

Efficient Loop Conditions for Bounded Model Checking Hyperproperties.

Tzu-Han HsuCésar SánchezSarai SheinvaldBorzoo Bonakdarpour
Published in: TACAS (1) (2023)
Keyphrases
  • bounded model checking
  • model checking
  • computationally efficient
  • real time
  • sufficient conditions
  • linear temporal logic