Top New Best Ask Show Jobs

Introduction to Formal Verification with Spark | Hacker News Reader

Introduction to Formal Verification with Spark

youtube.com

2 points·eggy··1 comment

Open articleView on HN

Reasons to use SPARK for embedded instead of Rust.

Reply on news.ycombinator.com