EwoK: secure embedded micro-kernel using SPARK/Ada formal verification #1 Post by gusthoff » Wed, Sep 26, 2018, 6:51 PM UTC EwoK: secure embedded micro-kernel using SPARK/Ada formal verificationgithub.com