Model checking distributed temporal logic

DOI10.1093/JIGPAL/JZAE043MaRDI QIDQ6909106zbMATH OpenFDO

Authors Francisco Dionisio, Jaime Ramos, Fernando Subtil, Luca Viganò

Publication date 30 October 2025

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

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAE043

zbMATH Keywords

Büchi automatadistributed systemsdistributed temporal logic (DTL)model checkingspecificationverification

Mathematics Subject Classification ID

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

Cites work

• Automata on distributed alphabets
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Distributed temporal logic for the analysis of security protocol models
• From Church and Prior to PSL
• Frontiers of Combining Systems
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 4049019 (Why is no real title available?)
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 1302050 (Why is no real title available?)
• scientific article; zbMATH DE number 1182731 (Why is no real title available?)
• scientific article; zbMATH DE number 7085031 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Labelled tableaux for distributed temporal logic
• Linear temporal logic symbolic model checking
• Metareasoning about security protocols using distributed temporal logic
• Propositional temporal logics: decidability and completeness
• Reasoning about infinite computations
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Specifying communication in distributed information systems
• Temporal logic and state systems
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

This page was built for publication: Model checking distributed temporal logic

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