Settings

Theme

Introduction to Formal Verification with Spark

youtube.com

2 points by eggy 4 months ago · 1 comment

Reader
eggyOP 4 months ago

Reasons to use SPARK for embedded instead of Rust.

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection