Section: Software

Others Tools

Most of the software tools described in previous sections are using tools that we have developed in the past: BZ-TT uses the set constraints solver CLPS and SPIKE . Note that the development of the SMT prover haRVey has been stopped. The successor of haRVey in Nancy is called veriT and is developed by David Déharbe (UFRN Natal, Brasil) and Pascal Fontaine (MOSEL).