Buy one, get one free!!!

DOI10.1093/LOGCOM/6.4.523MaRDI QIDQ4895547zbMATH OpenOpenAlexFDO

Authors Orna Kupferman, Orna Grumberg

Publication date 17 November 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/6.4.523

zbMATH Keywords

CTLtemporal operatorsbranching time temporal logiclinear-time model-checking procedure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1536557
• scientific article; zbMATH DE number 4119600
• Decision procedures and expressiveness in the temporal logic of branching time
• scientific article; zbMATH DE number 177521

Cited in

(7)

• scientific article; zbMATH DE number 1863182 (Why is no real title available?)
• An infinite hierarchy of temporal logics over branching time
• scientific article; zbMATH DE number 1536557 (Why is no real title available?)
• Module checking
• Complexity of synthesis of composite service with correctness guarantee
• Specification in CTL + past for verification in CTL.
• Pushdown module checking

This page was built for publication: Buy one, get one free!!!

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4895547)