Introduction to Formal Verification with Spark (youtube.com)

2 points by eggy 11mo ago ↗ HN

1 comment

[ 2.5 ms ] story [ 11.7 ms ] thread

eggy 11mo ago ↗

Reasons to use SPARK for embedded instead of Rust.