Login / Signup

Finite-Trace Linear Temporal Logic: Coinductive Completeness.

Grigore Rosu
Published in: RV (2016)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • formal specification
  • temporally extended goals