Sign in

Finite-trace linear temporal logic: coinductive completeness.

Grigore Rosu
Published in: Formal Methods Syst. Des. (2018)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • machine learning
  • knowledge base
  • search algorithm
  • general purpose