SOPRANO

The Soprano project is funded by the The French National Research Agency (ANR). Its main objective is to improve the reasonning power of current software verification tools in order to make them more powerful, more efficient and easier to use.