Login / Signup
Being correct is not enough: efficient verification using robust linear temporal logic.
Tzanis Anevlavis
Matthew Philippe
Daniel Neider
Paulo Tabuada
Published in:
CoRR (2021)
Keyphrases
</>
linear temporal logic
model checking
computationally efficient
temporal logic
bounded model checking