Login / Signup

An extension of first-order LTL with rules with application to runtime verification.

Klaus HavelundDoron Peled
Published in: Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
  • linear temporal logic
  • model checking
  • linear time temporal logic
  • higher order
  • temporal logic
  • real time
  • database systems
  • domain knowledge
  • domain specific
  • domain experts
  • bounded model checking