AdaCore / sparkformal

The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
11Updated 3 years ago

Related projects

Alternatives and complementary repositories for sparkformal