Interactive theorem proving with temporal logic

DOI10.1006/jsco.1996.0094zbMath0872.68170OpenAlexW2039976806MaRDI QIDQ1355780

Laurent Théry, Amy P. Felty

Publication date: 13 October 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/47e3ed564e5f69494670608a6485c436b5172990

zbMATH Keywords

linear temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Uses Software

• Isabelle
• STeP

This page was built for publication: Interactive theorem proving with temporal logic