Topic: "frdm-kl46z"
hossein1387/BART-System-Verification
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.
Language: HTML - Size: 248 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 3 - Forks: 0
KayeJD/FRDM-KL46Z-Programming
Hardware tinkering
Language: C - Size: 7.01 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
