From Real-time Logic to Timed Automata

DOI10.1145/3286976zbMath1473.68107OpenAlexW2945959809WikidataQ124213272 ScholiaQ124213272MaRDI QIDQ5215449

Dejan Ničković, Oded Maler, Thomas Ferrère, Amir Pnueli

Publication date: 11 February 2020

Published in: Journal of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

formal verificationtimed automatamodel checkingtemporal logicreal-time

Mathematics Subject Classification ID

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

Related Items (1)

Algebraic quantitative semantics for efficient online temporal monitoring

This page was built for publication: From Real-time Logic to Timed Automata