Model Checking Metric Temporal Logic over Automata with One Counter

DOI10.1007/978-3-642-37064-9_41MaRDI QIDQ4910485zbMATH OpenOpenAlexFDO

Authors Karin Quaas

Publication date 18 March 2013

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37064-9_41

Mathematics Subject Classification ID

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

Recommendations

• Model checking memoryful linear-time logics over one-counter automata
• Model Checking One-clock Priced Timed Automata
• Model-Checking One-Clock Priced Timed Automata
• On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems
• CONCUR 2004 - Concurrency Theory
• Model checking succinct and parametric one-counter automata
• Branching-time model checking of one-counter processes and timed automata
• Branching-time model checking of parametric one-counter automata
• Model checking MITL formulae on timed automata. A logic-based approach
• Model-Checking Counting Temporal Logics on Flat Structures

Cited in

(3)

• Model checking succinct and parametric one-counter automata
• MTL and TPTL for One-Counter Machines
• CONCUR 2004 - Concurrency Theory

This page was built for publication: Model Checking Metric Temporal Logic over Automata with One Counter

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