Results 1 -
2 of
2
Implementing Temporal Logics: Tools for Execution and Proof
- Proceedings of CLIMA VI, LNAI 3900
"... Here we present an overview of a selection of tools for execution and proof based on temporal logic, and will outline both the general techniques used and problems encountered in implementing them. The tools considered will mainly be theorem-provers and (logic-based) programming languages. Specifica ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Here we present an overview of a selection of tools for execution and proof based on temporal logic, and will outline both the general techniques used and problems encountered in implementing them. The tools considered will mainly be theorem-provers and (logic-based) programming languages. Specifically:
Implementing Invariant Search via Temporal Resolution
"... In this paper, we describe an implementation of a method for a searching for invariants in the theorem proving for first-order temporal logic. The method is based on clausal temporal resolution technique [FDP01] and implemented in the proof planning system lClam using the advantages of the higher ..."
Abstract
- Add to MetaCart
In this paper, we describe an implementation of a method for a searching for invariants in the theorem proving for first-order temporal logic. The method is based on clausal temporal resolution technique [FDP01] and implemented in the proof planning system lClam using the advantages of the higher-order logical programming language lProlog.
