Symbolic Model Checking Commitment Protocols Using Reduction

@inproceedings{ElMenshawy2010SymbolicMC,
  title={Symbolic Model Checking Commitment Protocols Using Reduction},
  author={Mohamed El-Menshawy and Jamal Bentahar and Rachida Dssouli},
  booktitle={DALT},
  year={2010}
}
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous agents need to successfully regulate and coordinate their interactions. In this paper, we investigate the use of symbolic model checkers to verify the compliance of a special kind… CONTINUE READING