Buy one, get one free!!!

DOI10.1093/LOGCOM/6.4.523zbMATH Open0857.03009OpenAlexW1969404042MaRDI QIDQ4895547FDOQ4895547

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

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

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)

Cited In (7)

• An infinite hierarchy of temporal logics over branching time
• Title not available (Why is that?)
• Module checking
• Complexity of synthesis of composite service with correctness guarantee
• Specification in CTL + past for verification in CTL.
• Pushdown module checking
• Title not available (Why is that?)

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)