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á bibliografie

Vydáno 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:	angličtina
Vydáno:	New York Springer US 01.08.2018 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!