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