Formal verification code of the ECU-switching MRM by tla+.
The code voter/ecu_switch.tla verifies safety_island implementation mainly.
asana17/ecu_switch
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Formal verification code of the ECU-switching MRM by tla+.
The code voter/ecu_switch.tla verifies safety_island implementation mainly.