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

branching time temporal logicCTLlinear-time model-checking proceduretemporal operators

Mathematics Subject Classification ID

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

Recommendations

• Buy one, get one free!!!
• scientific article; zbMATH DE number 4119600
• Decision procedures and expressiveness in the temporal logic of branching time
• Branching time regular temporal logic for model checking with linear time complexity

Cited in

(7)

• Specification in CTL + past for verification in CTL.
• Module checking
• An infinite hierarchy of temporal logics over branching time
• Complexity of synthesis of composite service with correctness guarantee
• Buy one, get one free!!!
• Extended temporal logic revisited
• 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)