Tableau methods for formal verification of multi-agent distributed systems

DOI10.1093/LOGCOM/8.3.373MaRDI QIDQ4209290zbMATH OpenOpenAlexFDO

Authors Fabio Massacci

Publication date 27 September 1998

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

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

zbMATH Keywords

formal verificationmultiagent distributed systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tableaux methods for access control in distributed systems
• Specification and Verification of Multi-Agent Systems
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• scientific article; zbMATH DE number 1759732

Cited in

(2)

• EXPtime tableaux for ALC
• Tableaux methods for access control in distributed systems

Describes a project that uses

Uses Software

• ModLeanTAP

This page was built for publication: Tableau methods for formal verification of multi-agent distributed systems

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