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

Celý popis

Podrobná bibliografia

Vydané v:	Formal methods in system design Ročník 53; číslo 1; s. 138 - 163
Hlavný autor:	Roşu, Grigore
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York Springer US 01.08.2018 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!