LTL Modulo Theories over Finite Traces: modeling, verification, open questions.

Alessandro Gianola Nicola Gigante

Published in: OVERLAY@AI*IA (2022)

Keyphrases

open questions
model checking
future directions
linear temporal logic
bounded model checking
temporal logic
formal verification
linear time temporal logic
modulo theories
special case