Sign in
Specification Sketching for Linear Temporal Logic.
Simon Lutz
Daniel Neider
Rajarshi Roy
Published in:
ATVA (2023)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking
transition systems
evolutionary algorithm
finite state
modal logic