EwoK: secure embedded micro-kernel using SPARK/Ada formal verificationgithub.com5 points·gusthoff··0 commentsOpen articleSaveView on HN