Introduction to Formal Verification with Spark (youtube.com)

2 points by eggy 1y ago ↗ HN

1 comment

[ 0.18 ms ] story [ 15.2 ms ] thread

eggy 1y ago ↗

Reasons to use SPARK for embedded instead of Rust.