Symbolic Model Checking Commitment Protocols Using Reduction

DOI10.1007/978-3-642-20715-0_11MaRDI QIDQ2999248zbMATH OpenOpenAlexFDO

Authors Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

Publication date 11 May 2011

Published in Declarative Agent Languages and Technologies VIII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20715-0_11

zbMATH Keywords

commitment protocolsmulti-agent systemsprotocol propertiessymbolic model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 1487478
• Counterexample-preserving reduction for symbolic model checking
• Counterexample-preserving reduction for symbolic model checking
• Employing symmetry reductions in model checking
• Correct Hardware Design and Verification Methods
• scientific article; zbMATH DE number 1953019
• scientific article; zbMATH DE number 1903347

Cited in

(10)

• A verification method for a commitment strategy of the BDI architecture
• \textsc{ProMoca}: probabilistic modeling and analysis of agents in commitment protocols
• Symbolic model checking the knowledge in Herbivore protocol
• scientific article; zbMATH DE number 2088755 (Why is no real title available?)
• Model checking agent communication
• Formal verification of complex coherence protocols using symbolic state models
• Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
• On the SMT-based verification of communicative commitments
• Symbolic model checking of public announcement protocols
• Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems

Describes a project that uses

Uses Software

• NuSMV
• MCMAS

This page was built for publication: Symbolic Model Checking Commitment Protocols Using Reduction

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