Symbolic Model Checking Commitment Protocols Using Reduction

DOI10.1007/978-3-642-20715-0_11zbMath1325.68237OpenAlexW1884747325MaRDI QIDQ2999248

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

symbolic model checkingmulti-agent systemscommitment protocolsprotocol properties

Mathematics Subject Classification ID

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

Uses Software

• NuSMV
• MCMAS

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