Alix Mougenot is an author at LIP6 specializing in program analysis, formal verification, and software maintenance.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2008–2008
1
1
Detecting model inconsistency through operation-based model construction
Xavier Blanc, Isabelle Mounier, Alix Mougenot et al. · 2008 · 143 citations
Rows per page
1–1 of 1