Login / Signup

A Parallel Linear Temporal Logic Tableau.

John Christopher McCabe-DanstedMark Reynolds
Published in: GandALF (2017)
Keyphrases
  • linear temporal logic
  • temporal logic
  • bounded model checking
  • model checking
  • description logics
  • domain specific