Some results on parametric temporal logic

DOI10.1016/j.ipl.2011.07.002zbMath1260.68201OpenAlexW2020932334MaRDI QIDQ1944185

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

specification languagesformal methodstemporal logicformal languagesdecision procedureparametric specifications

Mathematics Subject Classification ID

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

Related Items (1)

Time-budgeting: a component based development methodology for real-time embedded systems

Cites Work

• 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
• The complexity of propositional linear temporal logics

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