Login / Signup

On Finite Domains in First-Order Linear Temporal Logic.

Denis KuperbergJulien BrunelDavid Chemouil
Published in: ATVA (2016)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • transition systems
  • evolutionary algorithm
  • domain specific
  • concurrent systems