AdaCore Blog

Lena Comar

1 entries written by Lena Comar

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