Published August 25, 2023
| Version v2
Software
Open
CAN-Verify Artifacts
Description
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 README.md.
Any question do not hesitate to drop an email to mengwei.xu@manchester.ac.uk
Files
can-verify.zip
Files
(16.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:272999d0c302b5f07e24e951be1bdeca
|
16.6 MB | Preview Download |