Login / Signup

Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification.

Jirí BalunTomás MasopustPetr Osicka
Published in: MFCS (2023)
Keyphrases
  • lower bound
  • upper bound
  • branch and bound algorithm
  • real time
  • upper and lower bounds
  • high speed
  • branch and bound
  • objective function
  • model checking
  • worst case
  • asynchronous circuits