> who can write C without UB
Sel4?
NASA, They Write the Right Stuff. Essentially: go very slowly and carefully. Not at all like the typical cowboy coding in your typical software.
PDF: https://www.eng.auburn.edu/~kchang/comp6710/readings/They%20...
alt Hacker News
NASA, They Write the Right Stuff. Essentially: go very slowly and carefully. Not at all like the typical cowboy coding in your typical software.
PDF: https://www.eng.auburn.edu/~kchang/comp6710/readings/They%20...