A Sound and Complete Deductive System for CTL* Verification

DOI10.1093/JIGPAL/JZN018zbMath1156.68036OpenAlexW2110345230MaRDI QIDQ5504119

Amir Pnueli, Dov M. Gabbay

Publication date: 21 January 2009

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/26059

Mathematics Subject Classification ID

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

Related Items (3)

Twenty years of rewriting logic ⋮ COGNITIVE ECONOMICS AND THE LOGIC OF ABDUCTION ⋮ A Decision Procedure for CTL* Based on Tableaux and Automata

This page was built for publication: A Sound and Complete Deductive System for CTL* Verification