Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Introduction to Formal Verification with Spark
(opens in new tab)
(youtube.com)
2 points
eggy
5mo ago
1 comments
Share
Introduction to Formal Verification with Spark | Better HN
1 comments
default
newest
oldest
eggy
OP
5mo ago
Reasons to use SPARK for embedded instead of Rust.
j
/
k
navigate · click thread line to collapse
