Introduction to Formal Verification with Spark (youtube.com)

2 points by eggy 9mo ago ↗ HN

1 comment

[ 3.2 ms ] story [ 17.0 ms ] thread

eggy 9mo ago ↗

Reasons to use SPARK for embedded instead of Rust.