← How to waste a Friday evening Verifying for all interlacings → Escher C Verifier Pascal Cuoq - 24th Oct 2011 According to David Crocker's blog Escher C Verifier has been released. Congratulations!
Frama-C Frama-C