NICE - "Nice Induction for Conditional Equations"


NICE is an automatic proof system by induction in Java.



 VOTE - "Validation of Operational Transformation Environment"


VOTE is an automatic environment dedicated to formal verification of collaborative editing systems.

VOTE: Group Editors Analyzing Tool.
A. Imine, P. Molli, G. Oster and P. Urso. In Proceedings of Fourth International Workshop on First-Order Theorem Proving (FTP), Valencia, Spain, ENTCS, to appear, 2003.