Skip to content

“It's very small. It's mostly used for automotive and…” — The Pragmatic Engineer at 24:40

The Pragmatic Engineer Formal methods with Hillel Wayne

“It's very small. It's mostly used for automotive and military applications, but it is a fully verified operating system.”

0:00 1:23:42