Some results on parametric temporal logic

DOI10.1016/J.IPL.2011.07.002zbMATH Open1260.68201OpenAlexW2020932334MaRDI QIDQ1944185FDOQ1944185

Yanyan Li

Publication date: 4 April 2013

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2011.07.002

zbMATH Keywords

formal languagesformal methodstemporal logicdecision procedurespecification languagesparametric specifications

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• The complexity of propositional linear temporal logics
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Parametric temporal logic for “model measuring”
• A Design Methodology for Distributed Real-Time Automotive Applications

Cited In (3)

• Temporal Assertions with Parametrized Propositions
• Parameter Synthesis for Timed Kripke Structures
• Time-budgeting: a component based development methodology for real-time embedded systems

This page was built for publication: Some results on parametric temporal logic

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