Parametric temporal logic for “model measuring”

DOI10.1145/377978.377990zbMath1171.68544OpenAlexW2048780543MaRDI QIDQ3549124

Doron A. Peled, Kousha Etessami, Salvatore La Torre, Rajeev Alur

Publication date: 21 December 2008

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/377978.377990

Mathematics Subject Classification ID

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

Related Items

Optimal strategy synthesis for request-response games, Time window temporal logic, Automata-theoretic decision of timed games, Parameterized linear temporal logics meet costs: still not costlier than LTL, Optimal bounds in parametric LTL games, Robust, expressive, and quantitative linear temporal logics: pick any two for free, A survey of timed automata for the development of real-time systems, An interface theory for service-oriented design, Some results on parametric temporal logic, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Parametric metric interval temporal logic, Parametric linear dynamic logic, Compositional Branching-Time Measurements, Distributed synthesis for parameterized temporal logics, What’s Decidable About Parametric Timed Automata?, Optimizing Winning Strategies in Regular Infinite Games, Time-budgeting: a component based development methodology for real-time embedded systems, Quantifying Bounds in Strategy Logic, Prompt Interval Temporal Logic, From liveness to promptness, Decision problems for lower/upper bound parametric timed automata, Decidable first-order transition logics for PA-processes, A fuzzy real-time temporal logic

Uses Software

• SPIN