Nicolas Breton

Papers

Total Citations

H-Index

About

Nicolas Breton is a researcher specializing in the formal verification of safety-critical software, with a particular focus on integrated approaches that combine multiple verification techniques to ensure system reliability. His most-cited work, "Integrated formal verification of safety-critical software" (2017, 13 citations), introduces a comprehensive framework that merges model checking, theorem proving, and static analysis to address the unique challenges of high-assurance systems in domains like aerospace and automotive engineering. This contribution stands out for its practical emphasis on scalability and automation, bridging the gap between theoretical formal methods and industrial deployment. Breton’s research has been instrumental in advancing the state of the art for verifying complex, real-time software where failure is not an option. Though his citation count reflects a focused, emerging impact, his work is recognized for its methodological rigor and potential to reduce costly errors in safety-critical deployments. Breton continues to explore how formal verification can be integrated into agile development pipelines, making his contributions relevant for both academic researchers and industry practitioners seeking robust, verifiable software systems.