Welcome

Hello,

This blog is under construction. We are working on the user interface and are writing the first posts.

On this blog, we will see several techniques to prove that a piece of software behaves as expected.

Stay tuned. 🙂

This page exists also in French.