Published September 6, 2022
| Version v2
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
(259.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ad9c214581cac66e718572f291257d0b
|
259.6 kB | Download |