Le framework Critical Web est un projet de recherche interne mené par SOGILIS qui consiste en la conception d’un framework de développement d’applications web critiques sûres et sécurisées (éventuellement embarquées) ayant de fortes contraintes de certification.

Nous apportons de nombreuses innovations au développement web, en recherchant de nouvelles techniques pour apporter de la sûreté de fonctionnement, de la détection précoce d’erreurs, de la preuve formelle, et de la sécurité de fonctionnement aux applications web.