Login / Signup
Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification.
Jirí Balun
Tomás Masopust
Petr 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