Esito develops and markets the model-based software development tool Genova, which is used by customers to build administrative, mission-critical applications.

Through its participation in Certus, Esito aims to exploit research results and user partner experiences for the purpose to specify, prototype and develop model-based software verification and validation tools that can be marketed separately or integrated with its existing products.

Please view Esito’s web pages for more information.