This repository contains the BART (Bay Area Rapid Transit) system model and Implementation code for ARM CortexM series. Formal models are presented in AutoFocus3(AF3) format in which you can verify the properties using NuSMV model checker.
hossein1387/BART-System-Verification
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
