Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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; the first version of CASRUL was using the theorem prover daTac ; and SPIKE , our induction-based theorem prover, is used in the system VOTE in collaboration with the ECOO project.


previous
next

Logo Inria