Login / Signup

Runtime Verification for Linear-Time Temporal Logic.

Martin Leucker
Published in: SETSS (2016)
Keyphrases
  • linear time temporal logic
  • model checking
  • temporal logic
  • natural deduction
  • sequent calculus
  • linear temporal logic
  • formal verification
  • modal operators
  • cut elimination
  • machine learning
  • search algorithm