/dbl-embedded-systems

A robot built with Fischer Technik and Raspberry Pi. Formal verification using Verum's Dezyne.

No issues in this repository yet.