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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal methods in system design Jg. 53; H. 1; S. 138 - 163
1. Verfasser:	Roşu, Grigore
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.08.2018 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!