Published September 6, 2022
| Version v1
Software
Open
CAN-verify source repository and models
Authors/Creators
- 1. University of Glasgow, UK
- 2. Ecole Nationale de L'Aviation Civile (ENAC), Université de Toulouse, France
Description
CAN-verify is an OCaml tool that aims to translate CAN code to BigraphER code to run BigraphER and PRISM for formal verification.
Files
Files
(2.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9830f50fee6765b52c9fbab2af6e3146
|
2.0 MB | Download |