Finite-trace linear temporal logic: coinductive completeness

Linear temporal logic (LTL) is suitable not only for infinite-trace systems, but also for finite-trace systems. In particular, LTL with finite-trace semantics is frequently used as a specification formalism in runtime verification, in artificial intelligence, and in business process modeling. The sa...

Full description

Bibliographic Details

Published in:	Formal methods in system design Vol. 53; no. 1; pp. 138 - 163
Main Author:	Roşu, Grigore
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.08.2018 Springer Nature B.V
Subjects:	Axioms CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Decision theory Electrical Engineering Engineering Semantics Software Engineering/Programming and Operating Systems Temporal logic Coinduction Complete deduction Linear temporal logic Satisfiability
ISSN:	0925-9856, 1572-8102
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!