Using Locales to Define a Rely-Guarantee Temporal Logic

DOI10.1007/978-3-642-32347-8_20zbMath1360.68795OpenAlexW49404123MaRDI QIDQ2914750

Elsa L. Gunter, William Mansky

Publication date: 20 September 2012

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_20

zbMATH Keywords

temporal logicIsabelle proof assistantmodular specificationlogics for agencyreasoning about strategies

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Uses Software

• Isabelle

This page was built for publication: Using Locales to Define a Rely-Guarantee Temporal Logic