Temporal Assertions with Parametrized Propositions

DOI10.1093/LOGCOM/EXN078MaRDI QIDQ3569200zbMATH OpenOpenAlexFDO

Authors Volker Stolz

Publication date 17 June 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn078

zbMATH Keywords

alternating binding automatonLinear-Time Logicrun-time verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A propositional logic of temporal connectives
• Propositional temporal logics: decidability and completeness
• A propositional dense time logic
• Modelling and solving temporal reasoning as propositional satisfiability
• Propositional temporal proving with reductions to a SAT problem
• Temporal logics with language parameters
• A modal temporal predicate calculus
• Temporal Logics
• Some results on parametric temporal logic

Cited in

(2)

• Deadlock checking by a behavioral effect system for lock handling
• The ins and outs of first-order runtime verification

This page was built for publication: Temporal Assertions with Parametrized Propositions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569200)