Research Papers

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

Dominique Bolignano has a 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