A BDD-based BMC Approach for the Verification of Multi-Agent Systems

@inproceedings{Jones2009ABB,
  title={A BDD-based BMC Approach for the Verification of Multi-Agent Systems},
  author={Andrew V. Jones and Alessio Lomuscio},
  year={2009}
}
We present a technique combining binary decision diagrams and bounded model checking for the verification of a temporal epistemic logic; a method for distributing the bounded verification process is also discussed. We include implementation details of these proposed approaches as an extension to MCMAS, a BDD-based model checker for multi-agent systems. The “Train Gate Controller” scenario is adapted to display faults and is used to provide a comparison with the original implementation. When… CONTINUE READING
6 Citations
17 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…