Published August 25, 2023 | Version v2
Software Open

CAN-Verify Artifacts


  • 1. University of Manchester


This zenodo link is the repository for the automated tool CAN-Verify to streamlined the entire underlying process of formal modelling/encoding from BDI agents in CAN language to Bigraphs, model execution in BigraphER tool, and back-end model-checker with PRISM.

The detailed installation and usage of this tool (and the reproduction of the examples) can be found in

Any question do not hesitate to drop an email to


Files (16.6 MB)

Name Size Download all
16.6 MB Preview Download