AdaCore Blog

1 entries tagged with #ProofInUse

by Lena Comar

ProofInUse is coming!

For lovers of verification tools and critical system (we know you're out there!), we are very excited to present ProofInUse!

#SPARK    #ProofInUse