Prove & Run carries out a significant amount of research. Some of it have been published in research papers:

Dominique Bolignano has delivered a presentation entitled “Using Formal Methods to Enhance Security in Complex Systems: an Industrial Achievement” at the Collège de France and a video of this presentation is available.

Print Print