From Linear Temporal Logic Properties to Rewrite Propositions

DOI10.1007/978-3-642-31365-3_25zbMath1358.68192OpenAlexW77447793MaRDI QIDQ2908502

Vincent Hugot, Olga Kouchnarenko, Pierre-Cyrille Héam

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_25

Mathematics Subject Classification ID

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

This page was built for publication: From Linear Temporal Logic Properties to Rewrite Propositions