The model checking fingerprints of CTL operators

2018/08/01 by Andreas Krebs, Arne Meier, Martin Mundhenk
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1007/s00236-018-0326-9

crossref issued 2018/08/01 · crossref published 2018/08/01 · crossref published-online 2018/08/01 · openalex publication_date 2018/08/01 · crossref created 2018/08/01 · crossref deposited 2019/08/08 · crossref published-print 2019/09/01 · openalex created_date 2025/10/10 · crossref indexed 2026/07/29 · openalex updated_date 2026/08/01

Citations

• A near-optimal method for reasoning about action
• “Sometimes” and “not never” revisited
• Number of quantifiers is better than number of tape cells
• Alternating-time temporal logic
• Propositional dynamic logic of regular programs
• Automatic verification of finite-state concurrent systems using temporal logic specifications