An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation.

Salomon Sickert

Published in: Arch. Formal Proofs (2020)

Keyphrases

linear temporal logic
theorem prover
natural deduction
temporal logic
model checking
linear time temporal logic
formal methods
formal analysis
bounded model checking
machine learning
metaheuristic
first order logic
inference rules
theorem proving
cut elimination