Sign in

Specification Sketching for Linear Temporal Logic.

Simon LutzDaniel NeiderRajarshi Roy
Published in: ATVA (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • transition systems
  • evolutionary algorithm
  • finite state
  • modal logic