Specification and Verification using Temporal Logics

DOI10.1142/9789814271059_0015zbMath1256.68101OpenAlexW2406477300MaRDI QIDQ4907867

Stéphane P. Demri, Paul Gastin

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814271059_0015

zbMATH Keywords

verificationautomataspecificationtemporal operatorslineartime temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Are bundles good deals for first-order modal logic? ⋮ Parameterized model checking of weighted networks

This page was built for publication: Specification and Verification using Temporal Logics