{"id":689,"date":"2026-02-24T05:36:24","date_gmt":"2026-02-24T05:36:24","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=689"},"modified":"2026-03-18T07:56:12","modified_gmt":"2026-03-18T07:56:12","slug":"689-2","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/689-2\/","title":{"rendered":""},"content":{"rendered":"\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=DM+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap');\n \nbody { margin: 0; padding: 0; background: #F4F0EB; font-family: 'DM Sans', sans-serif; }\n \n.menu-demo { max-width: 1200px; margin: 3rem auto; padding: 0 2rem; }\n.menu-demo h1 { font-size: 1.6rem; font-weight: 600; color: #0C1829; margin-bottom: 0.5rem; }\n.menu-demo .subtitle { font-size: 0.9rem; color: #5A6B7F; margin-bottom: 3rem; }\n \n\/* MENU BAR *\/\n.menu-bar {\n  background: #0C1829; border-radius: 4px; padding: 0 1.5rem;\n  display: flex; align-items: center; justify-content: space-between;\n  position: relative; z-index: 100;\n}\n.menu-logo {\n  font-family: 'DM Sans', sans-serif; font-weight: 700; font-size: 0.95rem;\n  color: #fff; padding: 1rem 0; letter-spacing: 0.03em;\n}\n.menu-logo span { color: #C9A96E; }\n.menu-items { display: flex; align-items: center; gap: 0; }\n.menu-item {\n  position: relative; padding: 1rem 1rem;\n  font-size: 0.78rem; font-weight: 500; color: rgba(184,212,240,0.75);\n  cursor: pointer; letter-spacing: 0.02em; transition: color 0.2s;\n}\n.menu-item:hover { color: #fff; }\n.menu-item::after {\n  content: '\u25be'; margin-left: 0.3rem; font-size: 0.6rem; opacity: 0.5;\n}\n.menu-item.no-drop::after { content: ''; }\n.menu-cta {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  padding: 0.5rem 1.2rem; border-radius: 2px;\n  background: rgba(201,169,110,0.15); color: #C9A96E; border: 1px solid rgba(201,169,110,0.3);\n  cursor: pointer; transition: all 0.3s;\n}\n.menu-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n \n\/* DROPDOWN *\/\n.menu-dropdown {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 320px; padding: 0.8rem 0; z-index: 200;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .menu-dropdown { display: block; }\n.menu-dropdown a {\n  display: block; padding: 0.5rem 1.5rem; font-size: 0.8rem; color: rgba(184,212,240,0.6);\n  text-decoration: none; transition: all 0.2s; line-height: 1.5;\n}\n.menu-dropdown a:hover { color: #fff; background: rgba(74,144,217,0.08); }\n.menu-dropdown .drop-label {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n  letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n  padding: 0.6rem 1.5rem 0.3rem; display: block;\n}\n.menu-dropdown .drop-sep {\n  border: none; border-top: 1px solid rgba(74,144,217,0.08);\n  margin: 0.5rem 1.5rem;\n}\n \n\/* HIGHLIGHTED LINK *\/\n.menu-dropdown a.drop-highlight {\n  display: flex; align-items: center; justify-content: space-between;\n  margin: 0.4rem 0.8rem 0.2rem;\n  padding: 0.55rem 1rem;\n  background: rgba(201,169,110,0.08);\n  border: 1px solid rgba(201,169,110,0.2);\n  border-radius: 3px;\n  color: #C9A96E;\n  font-weight: 600; font-size: 0.78rem;\n  transition: all 0.2s;\n}\n.menu-dropdown a.drop-highlight:hover {\n  background: rgba(201,169,110,0.18);\n  color: #fff;\n  border-color: rgba(201,169,110,0.45);\n}\n.drop-highlight-arrow { font-size: 0.65rem; opacity: 0.6; margin-left: 8px; }\n \n\/* SIMULATION LINKS *\/\n.menu-dropdown a.drop-sim {\n  display: flex; align-items: center; justify-content: space-between;\n  margin: 0.25rem 0.8rem;\n  padding: 0.5rem 1rem;\n  background: rgba(74,144,217,0.06);\n  border: 1px solid rgba(74,144,217,0.18);\n  border-radius: 3px;\n  color: rgba(184,212,240,0.85);\n  font-size: 0.78rem;\n  transition: all 0.2s;\n}\n.menu-dropdown a.drop-sim:hover {\n  background: rgba(74,144,217,0.14);\n  color: #fff;\n  border-color: rgba(74,144,217,0.4);\n}\n.drop-sim-icon { font-size: 0.7rem; opacity: 0.55; margin-left: 8px; }\n \n\/* MEGA DROPDOWN *\/\n.mega-dropdown {\n  display: none; position: absolute; top: 100%; left: -100px;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  width: 640px; padding: 1.5rem; z-index: 200;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .mega-dropdown { display: block; }\n.mega-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 0 2rem; }\n.mega-col .drop-label { padding: 0 0 0.3rem; }\n.mega-col a {\n  display: block; padding: 0.35rem 0; font-size: 0.78rem; color: rgba(184,212,240,0.6);\n  text-decoration: none; transition: color 0.2s;\n}\n.mega-col a:hover { color: #fff; }\n\/* Morphic highlight dans mega *\/\n.mega-col a.drop-highlight {\n  margin: 0.5rem 0 0.2rem;\n  padding: 0.5rem 0.8rem;\n  background: rgba(201,169,110,0.08);\n  border: 1px solid rgba(201,169,110,0.2);\n  border-radius: 3px;\n  color: #C9A96E;\n  font-weight: 600;\n  display: flex; align-items: center; justify-content: space-between;\n}\n.mega-col a.drop-highlight:hover {\n  background: rgba(201,169,110,0.18);\n  color: #fff;\n  border-color: rgba(201,169,110,0.45);\n}\n<\/style>\n \n<div class=\"menu-demo\">\n \n<div class=\"menu-bar\">\n  <div class=\"menu-logo\">CORTEX <span>ORIGIN\u2122<\/span><\/div>\n  <div class=\"menu-items\">\n \n    <!-- 1. ARCHITECTURE -->\n    <div class=\"menu-item\">\n      Architecture\n      <div class=\"mega-dropdown\">\n        <div class=\"mega-cols\">\n          <div class=\"mega-col\">\n            <span class=\"drop-label\">Socle critique (TCB)<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/larchitecture-cortex-origin\/\">CORTEX ORIGIN\u2122 \u2014 Vue d&rsquo;ensemble<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-core\/\">Cortex Core\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/omega-gouvernance-decisionnelle\/\">OMEGA\u2122 \u2014 Gouvernance<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/180-2\/\">PRISM\u2122 \u2014 Preuve<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-aegis\/\">AEGIS\u2122 \u2014 Ex\u00e9cution<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-fulcrum\/\">FULCRUM\u2122<\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.5rem 0\">\n            <span class=\"drop-label\" style=\"padding:0.4rem 0 0.3rem\">S\u00e9curit\u00e9 &amp; Confinement<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/sentinel-securite-active-et-gouvernance-des-signaux\/\">SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-les-4-formules-de-confinement-et-gouvernance-runtime\/\">WALL-DOME\u2122 \u2014 Confinement<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere\/\">CERB\u00c8RE\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere-decision-guard\/\">Decision Guard\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/1241-2\/\" class=\"drop-highlight\">\n              CMS CORTEX MORPHIC SHIELD\u2122\n              <span class=\"drop-highlight-arrow\">\u2197<\/span>\n            <\/a>\n          <\/div>\n          <div class=\"mega-col\">\n            <span class=\"drop-label\">Interface &amp; Orchestration<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/ava-cpl\/\">AVA\u2122 &amp; CPL\u2122 \u2014 Interface<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/multi-lcm-trm-engine-orchestration-gouvernee-multi-modeles-ia\/\">Multi LCM \/ TRM Engine\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/trm-contrain-nano\/\">TRM Contrain Nano\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-ecoflux\/\">EcoFlux\u2122 \u2014 Frugalit\u00e9<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/morph-gates\/\">MORPH GATES\u2122 \u2014 CI\/CD<\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.5rem 0\">\n            <span class=\"drop-label\" style=\"padding:0.4rem 0 0.3rem\">Capacit\u00e9s avanc\u00e9es<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-quantum-ready\/\">Quantum-Ready\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cyber-orion-3\/\">CYBER-ORION\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-labcode\/\">LabCode\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-chameleon\/\">CHAMELEON\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-mirror-lab\/\">MIRROR LAB\u2122<\/a>\n          <\/div>\n        <\/div>\n      <\/div>\n    <\/div>\n \n    <!-- 2. APPLICATIONS -->\n    <div class=\"menu-item\">\n      Applications\n      <div class=\"menu-dropdown\">\n        <span class=\"drop-label\">Verticales technologiques<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/imcortex-2\/\">IMCORTEX\u2122 \u0394IMC \u2014 Architecture cognitive<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/space-ai-autonomie-gouvernee\/\">Space AI \u2014 Autonomie gouvern\u00e9e<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/quantum-assurance-architecture-quantum-ready\/\">Quantum Assurance<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-drones-systemes-autonomes\/\">Drones &amp; Syst\u00e8mes autonomes<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">IAG par secteur<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Banque, Finance &amp; OIV<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense &amp; Cybers\u00e9curit\u00e9<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat &amp; R\u00e9galien<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/592-2\/\">Tous les secteurs<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 3. V\u00c9RIFICATION -->\n    <div class=\"menu-item\">\n      V\u00e9rification\n      <div class=\"menu-dropdown\">\n        <span class=\"drop-label\">CFVL \u2014 Laboratoire formel<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&amp;D<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications &amp; \u00e9valuations<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/827-2\/\">M\u00e9thodologie<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Recherche<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/604-2\/\">Cortex AGI Exp\u00e9rimental<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-2\/\">MVP CORTEX\u2122<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\">IA expliqu\u00e9e simplement<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 4. SECTEURS -->\n    <div class=\"menu-item\">\n      Secteurs\n      <div class=\"menu-dropdown\">\n        <span class=\"drop-label\">Audiences<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\">Investisseurs &amp; partenaires<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\">Industriels &amp; int\u00e9grateurs<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\">D\u00e9cideurs publics &amp; autorit\u00e9s<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Packs Applications (paC)<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Finance &amp; Banque<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense &amp; Cyber<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat &amp; R\u00e9galien<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 5. CFVL -->\n    <div class=\"menu-item\">\n      CFVL\n      <div class=\"menu-dropdown\" style=\"min-width:300px\">\n        <span class=\"drop-label\">Programme de certification<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&amp;D<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\">Rapport MTTD \/ MTTB<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Simulations interactives<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/test\/\" class=\"drop-sim\">\n          Simulations Attaque\n          <span class=\"drop-sim-icon\">\u26a1<\/span>\n        <\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/simulation\/\" class=\"drop-sim\">\n          Sch\u00e9ma &amp; Simulations\n          <span class=\"drop-sim-icon\">\u25ce<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/1043-2\/\" class=\"drop-highlight\">\n          Evaluation Dashboard\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n      <\/div>\n    <\/div>\n \n    <!-- CTA -->\n    <a href=\"mailto:press@cortexorigin.com\" style=\"text-decoration:none\"><div class=\"menu-cta\">Contact<\/div><\/a>\n \n  <\/div>\n<\/div>\n \n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<!-- \n  CFVL \u2014 CORTEX Formal Verification Laboratory\n  WordPress Custom HTML Block \/ Page Builder\n  Version enrichie : types de tests CSPN + outils complets\n  v2 \u2014 ajout bouton Rapport MTTD\/MTTB \u2192 https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\n-->\n\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;0,700;1,400;1,500&family=JetBrains+Mono:wght@400;500;600&family=DM+Sans:wght@300;400;500;600;700&display=swap');\n\n.cfvl-page {\n  --navy: #0C1829;\n  --navy-mid: #162240;\n  --navy-light: #1E3055;\n  --slate: #2A3F5F;\n  --blue: #4A90D9;\n  --blue-light: #6BA4E7;\n  --ice: #B8D4F0;\n  --cream: #F4F0EB;\n  --warm: #E8E2D9;\n  --white: #FAFAF8;\n  --gray: #8C9BAF;\n  --gold: #C9A96E;\n  --red: #C0392B;\n  --green: #27AE60;\n  --orange: #D4872C;\n  --serif: 'EB Garamond', 'Georgia', serif;\n  --sans: 'DM Sans', 'Helvetica Neue', sans-serif;\n  --mono: 'JetBrains Mono', 'Consolas', monospace;\n\n  font-family: var(--sans);\n  color: var(--navy);\n  -webkit-font-smoothing: antialiased;\n  line-height: 1.6;\n  max-width: 100%;\n  overflow-x: hidden;\n  margin: 0;\n  padding: 0;\n}\n\n.cfvl-page *, .cfvl-page *::before, .cfvl-page *::after {\n  box-sizing: border-box;\n}\n.cfvl-page h1, .cfvl-page h2, .cfvl-page h3, .cfvl-page h4,\n.cfvl-page p, .cfvl-page ul, .cfvl-page li {\n  margin: 0; padding: 0;\n  font-weight: normal;\n  list-style: none;\n}\n.cfvl-page a { text-decoration: none; }\n.cfvl-page img { max-width: 100%; }\n\n\/* \u2550\u2550\u2550 HERO \u2550\u2550\u2550 *\/\n.cfvl-hero {\n  min-height: 100vh;\n  background: var(--navy);\n  display: flex; flex-direction: column;\n  justify-content: center; align-items: center;\n  position: relative; overflow: hidden;\n  padding: 6rem 2rem 4rem;\n}\n.cfvl-hero::before {\n  content: '';\n  position: absolute; inset: 0;\n  background:\n    radial-gradient(ellipse 60% 50% at 20% 50%, rgba(74,144,217,0.06) 0%, transparent 70%),\n    radial-gradient(ellipse 40% 60% at 80% 30%, rgba(201,169,110,0.04) 0%, transparent 70%);\n  pointer-events: none;\n}\n.cfvl-hero::after {\n  content: '';\n  position: absolute; bottom: 0; left: 0; right: 0; height: 1px;\n  background: linear-gradient(90deg, transparent, var(--blue), var(--gold), var(--blue), transparent);\n  opacity: 0.4;\n}\n.cfvl-hero-inner {\n  position: relative; z-index: 2;\n  text-align: center; max-width: 860px;\n}\n.cfvl-hero-label {\n  font-family: var(--mono);\n  font-size: 0.75rem; letter-spacing: 0.35em;\n  color: var(--gold); text-transform: uppercase;\n  margin-bottom: 2rem;\n  opacity: 0; animation: cfvlFadeUp 0.8s 0.3s forwards;\n}\n.cfvl-hero h1 {\n  font-family: var(--serif) !important;\n  font-size: clamp(2.8rem, 7vw, 5.2rem) !important;\n  font-weight: 400 !important; color: var(--white) !important;\n  line-height: 1.08 !important; letter-spacing: -0.02em;\n  margin-bottom: 0.5em !important;\n  opacity: 0; animation: cfvlFadeUp 0.8s 0.5s forwards;\n}\n.cfvl-hero h1 em {\n  font-style: italic; color: var(--ice);\n}\n.cfvl-hero-sub {\n  font-family: var(--sans);\n  font-size: 1.12rem; font-weight: 300;\n  color: var(--gray); line-height: 1.75;\n  max-width: 640px; margin: 0 auto 2.5rem;\n  opacity: 0; animation: cfvlFadeUp 0.8s 0.7s forwards;\n}\n.cfvl-hero-motto {\n  font-family: var(--serif);\n  font-size: 1.35rem; font-style: italic;\n  color: var(--gold); letter-spacing: 0.02em;\n  opacity: 0; animation: cfvlFadeUp 0.8s 0.9s forwards;\n}\n.cfvl-hero-buttons {\n  display: flex; gap: 1.2rem; justify-content: center; flex-wrap: wrap;\n  margin-top: 2.5rem;\n  opacity: 0; animation: cfvlFadeUp 0.8s 1.1s forwards;\n}\n.cfvl-hero-btn {\n  display: inline-flex; align-items: center; gap: 0.5rem;\n  font-family: var(--mono); font-size: 0.78rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  padding: 0.75em 1.8em; border-radius: 2px;\n  text-decoration: none; transition: all 0.3s ease;\n}\n.cfvl-hero-btn-primary {\n  background: rgba(74,144,217,0.15); color: var(--ice);\n  border: 1px solid rgba(74,144,217,0.4);\n}\n.cfvl-hero-btn-primary:hover {\n  background: rgba(74,144,217,0.25); border-color: var(--ice);\n  color: #fff;\n}\n.cfvl-hero-btn-secondary {\n  background: rgba(201,169,110,0.1); color: var(--gold);\n  border: 1px solid rgba(201,169,110,0.3);\n}\n.cfvl-hero-btn-secondary:hover {\n  background: rgba(201,169,110,0.2); border-color: var(--gold);\n  color: #fff;\n}\n\n\/* \u2500\u2500 NOUVEAU : bouton Rapport MTTD\/MTTB \u2500\u2500 *\/\n.cfvl-hero-btn-tertiary {\n  background: rgba(192,57,43,0.10); color: #E87D72;\n  border: 1px solid rgba(192,57,43,0.30);\n}\n.cfvl-hero-btn-tertiary:hover {\n  background: rgba(192,57,43,0.20); border-color: #E87D72;\n  color: #fff;\n}\n\n.cfvl-scroll-hint {\n  margin-top: 3rem;\n  opacity: 0; animation: cfvlFadeUp 0.8s 1.2s forwards;\n}\n.cfvl-scroll-hint span {\n  display: block; width: 1px; height: 40px; margin: 0 auto;\n  background: linear-gradient(to bottom, var(--gold), transparent);\n  animation: cfvlPulse 2s infinite;\n}\n\n@keyframes cfvlFadeUp {\n  from { opacity: 0; transform: translateY(20px); }\n  to { opacity: 1; transform: translateY(0); }\n}\n@keyframes cfvlPulse {\n  0%, 100% { opacity: 0.3; } 50% { opacity: 1; }\n}\n\n\/* \u2550\u2550\u2550 SECTIONS \u2550\u2550\u2550 *\/\n.cfvl-section {\n  padding: 5.5rem 2rem;\n  max-width: 1100px; margin: 0 auto;\n}\n.cfvl-section-label {\n  font-family: var(--mono);\n  font-size: 0.7rem; letter-spacing: 0.3em;\n  color: var(--blue); text-transform: uppercase;\n  margin-bottom: 1rem;\n}\n.cfvl-page h2 {\n  font-family: var(--serif) !important;\n  font-size: clamp(1.8rem, 4vw, 2.6rem) !important;\n  font-weight: 400 !important; color: var(--navy) !important;\n  line-height: 1.2 !important; margin-bottom: 1.6rem !important;\n}\n.cfvl-page h2 em { font-style: italic; color: var(--slate); }\n.cfvl-page h3 {\n  font-family: var(--sans) !important;\n  font-size: 1.02rem !important; font-weight: 600 !important;\n  color: var(--navy) !important; letter-spacing: 0.02em;\n  margin-bottom: 0.7rem !important;\n}\n.cfvl-lead {\n  font-size: 1.05rem; line-height: 1.8;\n  color: #4A5568; max-width: 720px;\n  margin-bottom: 2.5rem;\n}\n\n\/* \u2550\u2550\u2550 DARK BAND \u2550\u2550\u2550 *\/\n.cfvl-band-dark {\n  background: var(--navy);\n  padding: 5.5rem 2rem;\n  position: relative;\n}\n.cfvl-band-dark::before {\n  content: ''; position: absolute; top: 0; left: 0; right: 0; height: 1px;\n  background: linear-gradient(90deg, transparent, var(--blue), transparent);\n  opacity: 0.3;\n}\n.cfvl-band-dark .cfvl-inner { max-width: 1100px; margin: 0 auto; }\n.cfvl-band-dark h2 { color: var(--white) !important; }\n.cfvl-band-dark .cfvl-lead { color: var(--gray); }\n.cfvl-band-dark .cfvl-section-label { color: var(--gold); }\n\n\/* \u2550\u2550\u2550 MISSION CARDS \u2550\u2550\u2550 *\/\n.cfvl-mission-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));\n  gap: 1.5rem; margin-top: 2rem;\n}\n.cfvl-mission-card {\n  border: 1px solid rgba(74,144,217,0.15);\n  border-radius: 2px; padding: 1.8rem;\n  background: rgba(30,48,85,0.3);\n  transition: border-color 0.3s, background 0.3s;\n}\n.cfvl-mission-card:hover {\n  border-color: rgba(201,169,110,0.4);\n  background: rgba(30,48,85,0.5);\n}\n.cfvl-mission-card h3 {\n  color: var(--ice) !important; font-size: 0.95rem !important;\n  margin-bottom: 0.5rem !important;\n}\n.cfvl-mission-card p {\n  color: var(--gray); font-size: 0.88rem; line-height: 1.65;\n}\n\n\/* \u2550\u2550\u2550 LCF STATEMENT \u2550\u2550\u2550 *\/\n.cfvl-lcf-statement {\n  background: var(--cream);\n  border-left: 3px solid var(--gold);\n  padding: 2rem 2.5rem;\n  margin: 2.5rem 0;\n  font-family: var(--serif);\n  font-size: 1.2rem; line-height: 1.7;\n  color: var(--navy);\n}\n.cfvl-lcf-statement strong { color: var(--navy); font-weight: 600; }\n\n\/* \u2550\u2550\u2550 TOOLS GRID \u2550\u2550\u2550 *\/\n.cfvl-tools-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));\n  gap: 1px; background: #E2E8F0;\n  border: 1px solid #E2E8F0;\n  margin-top: 2rem;\n}\n.cfvl-tool {\n  background: var(--white); padding: 1.3rem 1.5rem;\n  transition: background 0.2s;\n}\n.cfvl-tool:hover { background: var(--cream); }\n.cfvl-tool-name {\n  font-family: var(--mono); font-size: 0.85rem;\n  font-weight: 600; color: var(--navy);\n  margin-bottom: 0.25rem;\n}\n.cfvl-tool-type {\n  font-size: 0.76rem; color: var(--gray);\n  margin-bottom: 0.45rem;\n}\n.cfvl-tool-version {\n  font-family: var(--mono); font-size: 0.65rem;\n  color: var(--slate); margin-bottom: 0.35rem;\n  opacity: 0.7;\n}\n.cfvl-badge {\n  display: inline-block;\n  font-family: var(--mono); font-size: 0.62rem;\n  padding: 0.15em 0.55em; border-radius: 1px;\n  letter-spacing: 0.05em;\n}\n.cfvl-badge-lcf { background: rgba(39,174,96,0.1); color: var(--green); border: 1px solid rgba(39,174,96,0.2); }\n.cfvl-badge-smt { background: rgba(74,144,217,0.1); color: var(--blue); border: 1px solid rgba(74,144,217,0.2); }\n.cfvl-badge-mc  { background: rgba(212,135,44,0.1); color: var(--orange); border: 1px solid rgba(212,135,44,0.2); }\n.cfvl-badge-int { background: rgba(140,155,175,0.1); color: var(--gray); border: 1px solid rgba(140,155,175,0.3); }\n.cfvl-badge-fuzz { background: rgba(192,57,43,0.1); color: var(--red); border: 1px solid rgba(192,57,43,0.2); }\n.cfvl-badge-dyn { background: rgba(142,68,173,0.1); color: #8E44AD; border: 1px solid rgba(142,68,173,0.2); }\n\n\/* \u2550\u2550\u2550 CSPN TEST TYPES \u2550\u2550\u2550 *\/\n.cfvl-cspn-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));\n  gap: 1px; background: rgba(74,144,217,0.15);\n  border: 1px solid rgba(74,144,217,0.15);\n  margin-top: 2rem;\n}\n.cfvl-cspn-cat {\n  background: rgba(22,34,64,0.6); padding: 1.6rem 1.8rem;\n  transition: background 0.3s;\n}\n.cfvl-cspn-cat:hover { background: rgba(30,48,85,0.7); }\n.cfvl-cspn-cat-label {\n  font-family: var(--mono); font-size: 0.62rem;\n  letter-spacing: 0.25em; text-transform: uppercase;\n  margin-bottom: 0.5rem;\n}\n.cfvl-cspn-cat-label.formal { color: var(--green); }\n.cfvl-cspn-cat-label.static { color: var(--blue); }\n.cfvl-cspn-cat-label.dynamic { color: #8E44AD; }\n.cfvl-cspn-cat-label.crypto { color: var(--gold); }\n.cfvl-cspn-cat-label.adversarial { color: var(--red); }\n.cfvl-cspn-cat-label.statistical { color: var(--orange); }\n\n.cfvl-cspn-cat h3 {\n  color: var(--ice) !important; font-size: 0.95rem !important;\n  margin-bottom: 0.6rem !important;\n}\n.cfvl-cspn-tests {\n  display: flex; flex-direction: column; gap: 0.4rem;\n}\n.cfvl-cspn-test {\n  display: flex; justify-content: space-between; align-items: center;\n  font-size: 0.8rem; color: var(--gray);\n  padding: 0.3rem 0;\n  border-bottom: 1px solid rgba(255,255,255,0.04);\n}\n.cfvl-cspn-test:last-child { border-bottom: none; }\n.cfvl-cspn-test-name { flex: 1; }\n.cfvl-cspn-test-tool {\n  font-family: var(--mono); font-size: 0.68rem;\n  color: var(--slate); opacity: 0.8;\n}\n.cfvl-cspn-metric {\n  font-family: var(--mono); font-size: 0.68rem;\n  color: var(--green); margin-left: 0.8rem;\n  white-space: nowrap;\n}\n\n\/* \u2550\u2550\u2550 PIPELINE VISUAL \u2550\u2550\u2550 *\/\n.cfvl-pipeline-flow {\n  display: flex; align-items: center; justify-content: center;\n  flex-wrap: wrap; gap: 0.3rem;\n  margin: 2rem 0; padding: 1.5rem;\n  background: rgba(22,34,64,0.4);\n  border: 1px solid rgba(74,144,217,0.1);\n  border-radius: 2px;\n}\n.cfvl-pipeline-step {\n  font-family: var(--mono); font-size: 0.68rem;\n  padding: 0.4em 0.9em; border-radius: 1px;\n  white-space: nowrap;\n}\n.cfvl-pipeline-arrow {\n  color: var(--slate); font-size: 0.9rem; margin: 0 0.15rem;\n}\n.cfvl-ps-compile { background: rgba(140,155,175,0.15); color: var(--gray); border: 1px solid rgba(140,155,175,0.2); }\n.cfvl-ps-static { background: rgba(74,144,217,0.15); color: var(--blue-light); border: 1px solid rgba(74,144,217,0.2); }\n.cfvl-ps-formal { background: rgba(39,174,96,0.15); color: var(--green); border: 1px solid rgba(39,174,96,0.2); }\n.cfvl-ps-dynamic { background: rgba(142,68,173,0.12); color: #BB8FCE; border: 1px solid rgba(142,68,173,0.2); }\n.cfvl-ps-fuzz { background: rgba(192,57,43,0.12); color: #E74C3C; border: 1px solid rgba(192,57,43,0.2); }\n.cfvl-ps-timing { background: rgba(212,135,44,0.15); color: var(--orange); border: 1px solid rgba(212,135,44,0.2); }\n.cfvl-ps-build { background: rgba(201,169,110,0.15); color: var(--gold); border: 1px solid rgba(201,169,110,0.2); }\n.cfvl-ps-verdict { background: rgba(39,174,96,0.2); color: var(--green); border: 1px solid rgba(39,174,96,0.3); font-weight: 600; }\n\n\/* \u2550\u2550\u2550 PRINCIPLES \u2550\u2550\u2550 *\/\n.cfvl-principles { display: grid; gap: 1.6rem; margin-top: 2rem; }\n.cfvl-principle {\n  display: grid; grid-template-columns: 3rem 1fr;\n  gap: 1rem; align-items: start;\n}\n.cfvl-principle-num {\n  font-family: var(--mono); font-size: 0.72rem;\n  color: var(--gold); letter-spacing: 0.1em;\n  padding-top: 0.3rem;\n}\n.cfvl-principle h3 { color: var(--ice) !important; margin-bottom: 0.3rem !important; }\n.cfvl-principle p { font-size: 0.9rem; line-height: 1.65; color: var(--gray); }\n\n\/* \u2550\u2550\u2550 PROCESS \u2550\u2550\u2550 *\/\n.cfvl-process {\n  display: grid; gap: 0; margin-top: 2.5rem;\n  border-left: 2px solid #E2E8F0;\n  padding-left: 2rem; margin-left: 1rem;\n}\n.cfvl-step {\n  position: relative; padding: 0 0 2.2rem;\n}\n.cfvl-step-num {\n  position: absolute; left: -2.75rem; top: 0;\n  width: 1.5rem; height: 1.5rem;\n  background: var(--navy); color: var(--white);\n  font-family: var(--mono); font-size: 0.65rem;\n  display: flex; align-items: center; justify-content: center;\n  border-radius: 1px;\n}\n.cfvl-step h3 { font-size: 0.95rem !important; margin-bottom: 0.3rem !important; }\n.cfvl-step p { font-size: 0.87rem; line-height: 1.6; color: #4A5568; }\n\n\/* \u2550\u2550\u2550 GOVERNANCE PHASES \u2550\u2550\u2550 *\/\n.cfvl-phases {\n  display: grid; grid-template-columns: repeat(3, 1fr);\n  gap: 1px; background: #E2E8F0;\n  border: 1px solid #E2E8F0;\n  margin-top: 2rem;\n}\n.cfvl-phase {\n  background: var(--white); padding: 1.8rem;\n}\n.cfvl-phase-label {\n  font-family: var(--mono); font-size: 0.63rem;\n  color: var(--blue); letter-spacing: 0.2em;\n  text-transform: uppercase; margin-bottom: 0.45rem;\n}\n.cfvl-phase h3 { font-size: 0.98rem !important; margin-bottom: 0.5rem !important; }\n.cfvl-phase p { font-size: 0.84rem; line-height: 1.6; color: #4A5568; }\n.cfvl-status {\n  display: inline-block; margin-top: 0.7rem;\n  font-family: var(--mono); font-size: 0.68rem;\n  padding: 0.2em 0.7em; border-radius: 1px;\n}\n.cfvl-status-active { background: rgba(39,174,96,0.1); color: var(--green); border: 1px solid rgba(39,174,96,0.2); }\n.cfvl-status-planned { background: rgba(140,155,175,0.1); color: var(--gray); border: 1px solid rgba(140,155,175,0.3); }\n\n\/* \u2550\u2550\u2550 RESEARCH \u2550\u2550\u2550 *\/\n.cfvl-band-warm {\n  background: var(--cream);\n  padding: 5.5rem 2rem;\n}\n.cfvl-band-warm .cfvl-inner { max-width: 1100px; margin: 0 auto; }\n.cfvl-band-warm .cfvl-lead { color: #5A6B7F; }\n\n.cfvl-axes {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));\n  gap: 1.5rem; margin-top: 2rem;\n}\n.cfvl-axis {\n  background: var(--white);\n  border: 1px solid #D5CFC5;\n  padding: 1.8rem; border-radius: 2px;\n  transition: border-color 0.3s;\n}\n.cfvl-axis:hover { border-color: var(--gold); }\n.cfvl-axis-num {\n  font-family: var(--mono); font-size: 0.63rem;\n  color: var(--gold); letter-spacing: 0.2em;\n  margin-bottom: 0.45rem;\n}\n.cfvl-axis h3 { font-size: 0.98rem !important; margin-bottom: 0.5rem !important; }\n.cfvl-axis p { font-size: 0.85rem; line-height: 1.65; color: #4A5568; }\n.cfvl-keywords {\n  margin-top: 0.7rem;\n  display: flex; flex-wrap: wrap; gap: 0.35rem;\n}\n.cfvl-keywords span {\n  font-family: var(--mono); font-size: 0.62rem;\n  color: var(--slate); background: rgba(42,63,95,0.06);\n  padding: 0.15em 0.55em; border-radius: 1px;\n}\n\n\/* \u2550\u2550\u2550 DOCUMENTS \u2550\u2550\u2550 *\/\n.cfvl-doc-grid {\n  display: grid; grid-template-columns: 1fr 1fr;\n  gap: 1.5rem; margin-top: 2rem;\n}\n.cfvl-doc-cat {\n  border: 1px solid rgba(74,144,217,0.15);\n  border-radius: 2px; overflow: hidden;\n}\n.cfvl-doc-header {\n  background: rgba(30,48,85,0.6);\n  padding: 0.9rem 1.4rem;\n  font-family: var(--mono); font-size: 0.72rem;\n  color: var(--ice); letter-spacing: 0.1em;\n  text-transform: uppercase;\n}\n.cfvl-doc-body {\n  padding: 1.3rem 1.4rem;\n  background: rgba(22,34,64,0.4);\n}\n.cfvl-doc-item {\n  padding: 0.5rem 0;\n  border-bottom: 1px solid rgba(255,255,255,0.04);\n  font-size: 0.85rem; color: var(--gray);\n}\n.cfvl-doc-item:last-child { border-bottom: none; }\n.cfvl-doc-item strong { color: var(--ice); font-weight: 500; }\n\n\/* \u2550\u2550\u2550 COLLABORATION \u2550\u2550\u2550 *\/\n.cfvl-collab {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));\n  gap: 1.2rem; margin-top: 2rem;\n}\n.cfvl-collab-item {\n  text-align: center; padding: 1.8rem 1rem;\n  border: 1px solid #E2E8F0;\n  border-radius: 2px;\n  transition: border-color 0.3s, transform 0.3s;\n}\n.cfvl-collab-item:hover {\n  border-color: var(--blue);\n  transform: translateY(-2px);\n}\n.cfvl-collab-item h3 { font-size: 0.9rem !important; margin-bottom: 0.25rem !important; }\n.cfvl-collab-item p { font-size: 0.78rem; color: var(--gray); }\n\n\/* \u2550\u2550\u2550 FOOTER \u2550\u2550\u2550 *\/\n.cfvl-footer {\n  background: var(--navy);\n  padding: 3.5rem 2rem 1.5rem;\n  border-top: 1px solid rgba(74,144,217,0.15);\n}\n.cfvl-footer .cfvl-inner {\n  max-width: 1100px; margin: 0 auto;\n  display: grid; grid-template-columns: 2fr 1fr 1fr;\n  gap: 2.5rem;\n}\n.cfvl-footer-brand {\n  font-family: var(--mono); font-weight: 600;\n  font-size: 1rem; color: var(--ice);\n  letter-spacing: 0.1em; margin-bottom: 0.7rem;\n}\n.cfvl-footer-brand span { color: var(--gold); }\n.cfvl-footer p { font-size: 0.8rem; color: var(--gray); line-height: 1.65; }\n.cfvl-footer h4 {\n  font-family: var(--mono) !important; font-size: 0.68rem !important;\n  color: var(--gold) !important; letter-spacing: 0.2em;\n  text-transform: uppercase; margin-bottom: 0.8rem !important;\n  font-weight: 600 !important;\n}\n.cfvl-footer a {\n  display: block; color: var(--gray);\n  text-decoration: none; font-size: 0.8rem;\n  padding: 0.2rem 0; transition: color 0.2s;\n}\n.cfvl-footer a:hover { color: var(--ice); }\n.cfvl-footer-bottom {\n  max-width: 1100px; margin: 2.5rem auto 0;\n  padding-top: 1.2rem;\n  border-top: 1px solid rgba(255,255,255,0.06);\n  display: flex; justify-content: space-between;\n  font-size: 0.7rem; color: rgba(140,155,175,0.5);\n}\n\n\/* \u2550\u2550\u2550 RESPONSIVE \u2550\u2550\u2550 *\/\n@media (max-width: 768px) {\n  .cfvl-phases { grid-template-columns: 1fr; }\n  .cfvl-doc-grid { grid-template-columns: 1fr; }\n  .cfvl-cspn-grid { grid-template-columns: 1fr; }\n  .cfvl-footer .cfvl-inner { grid-template-columns: 1fr; gap: 1.5rem; }\n  .cfvl-principle { grid-template-columns: 1fr; }\n  .cfvl-principle-num { padding-top: 0; }\n  .cfvl-hero { padding: 4rem 1.5rem 3rem; min-height: 90vh; }\n  .cfvl-band-dark, .cfvl-band-warm, .cfvl-section { padding: 3.5rem 1.5rem; }\n  .cfvl-pipeline-flow { flex-direction: column; }\n  .cfvl-pipeline-arrow { transform: rotate(90deg); }\n  .cfvl-hero-buttons { flex-direction: column; align-items: center; }\n}\n\n.cfvl-hero,\n.cfvl-hero * {\n  text-align: center !important;\n  margin-left: auto !important;\n  margin-right: auto !important;\n}\n.cfvl-hero .cfvl-back {\n  display: inline-flex !important;\n}\n<\/style>\n\n<div class=\"cfvl-page\">\n\n<!-- \u2550\u2550\u2550 HERO \u2550\u2550\u2550 -->\n<div class=\"cfvl-hero\" id=\"cfvl-top\">\n  <div class=\"cfvl-hero-inner\">\n    <div class=\"cfvl-hero-label\">CORTEX Formal Verification Laboratory<\/div>\n    <h1>Laboratoire interne de<br><em>v\u00e9rification formelle<\/em><\/h1>\n    <p class=\"cfvl-hero-sub\">\n      Cellule ind\u00e9pendante d\u00e9di\u00e9e \u00e0 la v\u00e9rification formelle de syst\u00e8mes logiciels critiques.\n      Le CFVL ne d\u00e9veloppe pas de produit. Il analyse, valide ou invalide\n      les syst\u00e8mes qui lui sont soumis. Un avis n\u00e9gatif du CFVL bloque la validation du p\u00e9rim\u00e8tre \u00e9valu\u00e9.\n    <\/p>\n    <div class=\"cfvl-hero-motto\">\u00ab Preuve avant promesse \u00bb<\/div>\n    <!-- \u2550\u2550 BOUTONS \u2550\u2550 -->\n    <div class=\"cfvl-hero-buttons\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\" class=\"cfvl-hero-btn cfvl-hero-btn-primary\">Journal R&amp;D \u2192<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\" class=\"cfvl-hero-btn cfvl-hero-btn-secondary\">Publications \u2192<\/a>\n      <!-- \u25bc NOUVEAU BOUTON \u25bc -->\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\" class=\"cfvl-hero-btn cfvl-hero-btn-tertiary\">Rapport MTTD\/MTTB \u2192<\/a>\n    <\/div>\n    <div class=\"cfvl-scroll-hint\"><span><\/span><\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 01 MISSION \u2550\u2550\u2550 -->\n<div class=\"cfvl-band-dark\" id=\"cfvl-mission\">\n  <div class=\"cfvl-inner\">\n    <div class=\"cfvl-section-label\">01 \u2014 Mission<\/div>\n    <h2 style=\"color:#fff !important\">Le CFVL exerce une mission<br>de v\u00e9rification <em style=\"color:var(--ice)\">ind\u00e9pendante<\/em><\/h2>\n    <p class=\"cfvl-lead\">\n      Sa mission est m\u00e9thodologique et normative.\n      Un avis n\u00e9gatif du CFVL bloque la validation du p\u00e9rim\u00e8tre \u00e9valu\u00e9,\n      ind\u00e9pendamment de toute contrainte commerciale ou calendaire.\n    <\/p>\n    <div class=\"cfvl-mission-grid\">\n      <div class=\"cfvl-mission-card\">\n        <h3>Preuves machine<\/h3>\n        <p>Produire des preuves formelles reproductibles, v\u00e9rifi\u00e9es m\u00e9caniquement par des noyaux de confiance.<\/p>\n      <\/div>\n      <div class=\"cfvl-mission-card\">\n        <h3>\u00c9valuation de couverture<\/h3>\n        <p>V\u00e9rifier que chaque exigence de s\u00e9curit\u00e9 est couverte par au moins un th\u00e9or\u00e8me prouv\u00e9.<\/p>\n      <\/div>\n      <div class=\"cfvl-mission-card\">\n        <h3>Documentation des lacunes<\/h3>\n        <p>Identifier et publier explicitement ce qui n&rsquo;a pas pu \u00eatre v\u00e9rifi\u00e9, avec la m\u00eame rigueur que les r\u00e9sultats.<\/p>\n      <\/div>\n      <div class=\"cfvl-mission-card\">\n        <h3>Avis formel<\/h3>\n        <p>\u00c9mettre un verdict : Conforme, Conforme avec r\u00e9serves, ou Non conforme. Chaque avis engage le laboratoire.<\/p>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 02 FONDEMENT LCF \u2550\u2550\u2550 -->\n<div class=\"cfvl-section\" id=\"cfvl-fondement\">\n  <div class=\"cfvl-section-label\">02 \u2014 Fondement scientifique<\/div>\n  <h2>Validation <em>machine<\/em>,<br>pas validation humaine<\/h2>\n\n  <div class=\"cfvl-lcf-statement\">\n    Le CFVL s&rsquo;appuie sur des moteurs formels \u00e0 noyau <strong>LCF<\/strong> (Logic for Computable Functions).\n    Dans un syst\u00e8me LCF, aucun th\u00e9or\u00e8me ne peut exister sans validation m\u00e9canique\n    par un micro-noyau de confiance.<br><br>\n    <strong>L&rsquo;autorit\u00e9 du laboratoire ne repose pas sur une signature humaine.\n    Elle repose sur un verdict machine reproductible.<\/strong>\n  <\/div>\n\n  <h3>Outils r\u00e9f\u00e9renc\u00e9s par le CFVL \u2014 21 outils, 6 cat\u00e9gories<\/h3>\n  <div class=\"cfvl-tools-grid\">\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Isabelle\/HOL<\/div>\n      <div class=\"cfvl-tool-type\">Proof assistant<\/div>\n      <div class=\"cfvl-tool-version\">v2025-2<\/div>\n      <span class=\"cfvl-badge cfvl-badge-lcf\">LCF KERNEL<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Coq \/ Rocq<\/div>\n      <div class=\"cfvl-tool-type\">Proof assistant<\/div>\n      <div class=\"cfvl-tool-version\">v9.1.1<\/div>\n      <span class=\"cfvl-badge cfvl-badge-lcf\">LCF KERNEL<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Frama-C \/ WP<\/div>\n      <div class=\"cfvl-tool-type\">V\u00e9rification C<\/div>\n      <div class=\"cfvl-tool-version\">v32.0 Germanium<\/div>\n      <span class=\"cfvl-badge cfvl-badge-smt\">SMT<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">CBMC<\/div>\n      <div class=\"cfvl-tool-type\">Bounded model checker<\/div>\n      <div class=\"cfvl-tool-version\">v6.8.0<\/div>\n      <span class=\"cfvl-badge cfvl-badge-mc\">MODEL CHECK<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">SPARK \/ GNATprove<\/div>\n      <div class=\"cfvl-tool-type\">V\u00e9rification Ada<\/div>\n      <span class=\"cfvl-badge cfvl-badge-smt\">SMT<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">TLA+ \/ TLC<\/div>\n      <div class=\"cfvl-tool-type\">Model checker<\/div>\n      <span class=\"cfvl-badge cfvl-badge-mc\">MODEL CHECK<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">libFuzzer \/ LLVM<\/div>\n      <div class=\"cfvl-tool-type\">Fuzzing guid\u00e9 par couverture<\/div>\n      <div class=\"cfvl-tool-version\">LLVM 22.1.0<\/div>\n      <span class=\"cfvl-badge cfvl-badge-fuzz\">FUZZING<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">ASan + UBSan<\/div>\n      <div class=\"cfvl-tool-type\">Sanitizers m\u00e9moire<\/div>\n      <div class=\"cfvl-tool-version\">clang runtime<\/div>\n      <span class=\"cfvl-badge cfvl-badge-dyn\">DYNAMIC<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">dudect<\/div>\n      <div class=\"cfvl-tool-type\">Analyse side-channel (timing)<\/div>\n      <div class=\"cfvl-tool-version\">Welch t-test<\/div>\n      <span class=\"cfvl-badge cfvl-badge-dyn\">DYNAMIC<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">llvm-cov<\/div>\n      <div class=\"cfvl-tool-type\">Couverture de code<\/div>\n      <div class=\"cfvl-tool-version\">Apple LLVM 15<\/div>\n      <span class=\"cfvl-badge cfvl-badge-dyn\">DYNAMIC<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">CompCert<\/div>\n      <div class=\"cfvl-tool-type\">Compilateur v\u00e9rifi\u00e9<\/div>\n      <span class=\"cfvl-badge cfvl-badge-int\">INT\u00c9GRATION<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">ProVerif \/ Tamarin<\/div>\n      <div class=\"cfvl-tool-type\">Protocoles crypto<\/div>\n      <span class=\"cfvl-badge cfvl-badge-int\">INT\u00c9GRATION<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Astr\u00e9e<\/div>\n      <div class=\"cfvl-tool-type\">Interpr\u00e9tation abstraite<\/div>\n      <span class=\"cfvl-badge cfvl-badge-int\">INT\u00c9GRATION<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Lean 4<\/div>\n      <div class=\"cfvl-tool-type\">Proof assistant (mathlib)<\/div>\n      <span class=\"cfvl-badge cfvl-badge-lcf\">LCF KERNEL<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">F* \/ HACL*<\/div>\n      <div class=\"cfvl-tool-type\">Crypto formellement v\u00e9rifi\u00e9e<\/div>\n      <span class=\"cfvl-badge cfvl-badge-lcf\">LCF KERNEL<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Why3<\/div>\n      <div class=\"cfvl-tool-type\">Plateforme de preuve d\u00e9ductive<\/div>\n      <span class=\"cfvl-badge cfvl-badge-smt\">SMT<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Z3 \/ CVC5<\/div>\n      <div class=\"cfvl-tool-type\">Solveurs SMT<\/div>\n      <span class=\"cfvl-badge cfvl-badge-smt\">SMT<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">KLEE<\/div>\n      <div class=\"cfvl-tool-type\">Ex\u00e9cution symbolique<\/div>\n      <span class=\"cfvl-badge cfvl-badge-dyn\">DYNAMIC<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">AFL++<\/div>\n      <div class=\"cfvl-tool-type\">Fuzzer mutation coverage-guided<\/div>\n      <span class=\"cfvl-badge cfvl-badge-fuzz\">FUZZING<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">Cryptol \/ SAW<\/div>\n      <div class=\"cfvl-tool-type\">V\u00e9rification crypto bit-exact<\/div>\n      <div class=\"cfvl-tool-version\">Galois (DARPA)<\/div>\n      <span class=\"cfvl-badge cfvl-badge-int\">INT\u00c9GRATION<\/span>\n    <\/div>\n    <div class=\"cfvl-tool\">\n      <div class=\"cfvl-tool-name\">AutoCorres<\/div>\n      <div class=\"cfvl-tool-type\">Pont C \u2192 Isabelle\/HOL<\/div>\n      <span class=\"cfvl-badge cfvl-badge-int\">INT\u00c9GRATION<\/span>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 02b CAMPAGNE CSPN \u2550\u2550\u2550 -->\n<div class=\"cfvl-band-dark\" id=\"cfvl-cspn\">\n  <div class=\"cfvl-inner\">\n    <div class=\"cfvl-section-label\">02b \u2014 Campagne de v\u00e9rification CSPN<\/div>\n    <h2 style=\"color:#fff !important\">Types de tests appliqu\u00e9s<br>en <em style=\"color:var(--ice)\">pr\u00e9-\u00e9valuation CSPN<\/em><\/h2>\n    <p class=\"cfvl-lead\">\n      Le pipeline haute assurance du CFVL applique six familles de v\u00e9rification compl\u00e9mentaires,\n      couvrant les exigences AVA, ATE, ADV et ALC des Crit\u00e8res Communs (ISO 15408).\n    <\/p>\n\n    <!-- Pipeline visual -->\n    <div class=\"cfvl-pipeline-flow\">\n      <span class=\"cfvl-pipeline-step cfvl-ps-compile\">Compilation<\/span>\n      <span class=\"cfvl-pipeline-arrow\">\u2192<\/span>\n      <span class=\"cfvl-pipeline-step cfvl-ps-static\">Analyse statique<\/span>\n      <span class=\"cfvl-pipeline-arrow\">\u2192<\/span>\n      <span class=\"cfvl-pipeline-step cfvl-ps-formal\">Preuves formelles<\/span>\n      <span class=\"cfvl-pipeline-arrow\">\u2192<\/span>\n      <span class=\"cfvl-pipeline-step cfvl-ps-dynamic\">Tests dynamiques<\/span>\n      <span class=\"cfvl-pipeline-arrow\">\u2192<\/span>\n      <span class=\"cfvl-pipeline-step cfvl-ps-fuzz\">Fuzzing massif<\/span>\n      <span class=\"cfvl-pipeline-arrow\">\u2192<\/span>\n      <span class=\"cfvl-pipeline-step cfvl-ps-timing\">Side-channel<\/span>\n      <span class=\"cfvl-pipeline-arrow\">\u2192<\/span>\n      <span class=\"cfvl-pipeline-step cfvl-ps-build\">Build reproductible<\/span>\n      <span class=\"cfvl-pipeline-arrow\">\u2192<\/span>\n      <span class=\"cfvl-pipeline-step cfvl-ps-verdict\">VERDICT<\/span>\n    <\/div>\n\n    <div class=\"cfvl-cspn-grid\">\n      <!-- Formal verification -->\n      <div class=\"cfvl-cspn-cat\">\n        <div class=\"cfvl-cspn-cat-label formal\">V\u00c9RIFICATION FORMELLE<\/div>\n        <h3>Preuves machine (ADV_SPM)<\/h3>\n        <div class=\"cfvl-cspn-tests\">\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Mod\u00e8le abstrait BLP<\/span>\n            <span class=\"cfvl-cspn-test-tool\">Isabelle\/HOL<\/span>\n            <span class=\"cfvl-cspn-metric\">48+ lemmes<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Raffinement abstrait \u2192 concret<\/span>\n            <span class=\"cfvl-cspn-test-tool\">Isabelle\/HOL<\/span>\n            <span class=\"cfvl-cspn-metric\">3 th\u00e9ories<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Bisimulation FSM<\/span>\n            <span class=\"cfvl-cspn-test-tool\">Isabelle\/HOL<\/span>\n            <span class=\"cfvl-cspn-metric\">\u2713 prouv\u00e9<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Model checking born\u00e9<\/span>\n            <span class=\"cfvl-cspn-test-tool\">CBMC 6.8<\/span>\n            <span class=\"cfvl-cspn-metric\">298 props<\/span>\n          <\/div>\n        <\/div>\n      <\/div>\n\n      <!-- Static analysis -->\n      <div class=\"cfvl-cspn-cat\">\n        <div class=\"cfvl-cspn-cat-label static\">ANALYSE STATIQUE<\/div>\n        <h3>Absence d&rsquo;erreurs (ADV_IMP)<\/h3>\n        <div class=\"cfvl-cspn-tests\">\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Interpr\u00e9tation abstraite (EVA)<\/span>\n            <span class=\"cfvl-cspn-test-tool\">Frama-C 32<\/span>\n            <span class=\"cfvl-cspn-metric\">0 alarm<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Compilation stricte<\/span>\n            <span class=\"cfvl-cspn-test-tool\">clang 15<\/span>\n            <span class=\"cfvl-cspn-metric\">0 warning<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Couverture de code<\/span>\n            <span class=\"cfvl-cspn-test-tool\">llvm-cov<\/span>\n            <span class=\"cfvl-cspn-metric\">96.38% reg<\/span>\n          <\/div>\n        <\/div>\n      <\/div>\n\n      <!-- Dynamic testing -->\n      <div class=\"cfvl-cspn-cat\">\n        <div class=\"cfvl-cspn-cat-label dynamic\">TESTS DYNAMIQUES<\/div>\n        <h3>Validation fonctionnelle (ATE_FUN)<\/h3>\n        <div class=\"cfvl-cspn-tests\">\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Tests fonctionnels positifs<\/span>\n            <span class=\"cfvl-cspn-test-tool\">ASan+UBSan<\/span>\n            <span class=\"cfvl-cspn-metric\">85 PASS<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Tests n\u00e9gatifs (robustesse)<\/span>\n            <span class=\"cfvl-cspn-test-tool\">ASan+UBSan<\/span>\n            <span class=\"cfvl-cspn-metric\">25 PASS<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Tests d&rsquo;endurance<\/span>\n            <span class=\"cfvl-cspn-test-tool\">ASan+UBSan<\/span>\n            <span class=\"cfvl-cspn-metric\">10.8M ops<\/span>\n          <\/div>\n        <\/div>\n      <\/div>\n\n      <!-- Adversarial -->\n      <div class=\"cfvl-cspn-cat\">\n        <div class=\"cfvl-cspn-cat-label adversarial\">TESTS ADVERSARIAUX<\/div>\n        <h3>R\u00e9sistance aux attaques (AVA_VAN)<\/h3>\n        <div class=\"cfvl-cspn-tests\">\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Sc\u00e9narios d&rsquo;attaque CSPN<\/span>\n            <span class=\"cfvl-cspn-test-tool\">ASan+UBSan<\/span>\n            <span class=\"cfvl-cspn-metric\">12\/12<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Fuzzing guid\u00e9 par couverture<\/span>\n            <span class=\"cfvl-cspn-test-tool\">libFuzzer<\/span>\n            <span class=\"cfvl-cspn-metric\">26G+ inputs<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Fuzzing PRISM + Manifest<\/span>\n            <span class=\"cfvl-cspn-test-tool\">libFuzzer<\/span>\n            <span class=\"cfvl-cspn-metric\">0 crash<\/span>\n          <\/div>\n        <\/div>\n      <\/div>\n\n      <!-- Crypto -->\n      <div class=\"cfvl-cspn-cat\">\n        <div class=\"cfvl-cspn-cat-label crypto\">CRYPTOGRAPHIE<\/div>\n        <h3>Conformit\u00e9 FIPS 202 (ADV_FSP)<\/h3>\n        <div class=\"cfvl-cspn-tests\">\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Vecteurs NIST CAVP SHA3-256<\/span>\n            <span class=\"cfvl-cspn-test-tool\">gcc\/clang<\/span>\n            <span class=\"cfvl-cspn-metric\">3 vectors<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">HMAC-SHA3-256 fonctionnel<\/span>\n            <span class=\"cfvl-cspn-test-tool\">gcc\/clang<\/span>\n            <span class=\"cfvl-cspn-metric\">8 tests<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Int\u00e9grit\u00e9 du build (SHA-256)<\/span>\n            <span class=\"cfvl-cspn-test-tool\">sha256sum<\/span>\n            <span class=\"cfvl-cspn-metric\">\u2713 cha\u00eene<\/span>\n          <\/div>\n        <\/div>\n      <\/div>\n\n      <!-- Side-channel -->\n      <div class=\"cfvl-cspn-cat\">\n        <div class=\"cfvl-cspn-cat-label statistical\">ANALYSE STATISTIQUE<\/div>\n        <h3>Canaux auxiliaires (AVA_VAN)<\/h3>\n        <div class=\"cfvl-cspn-tests\">\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Timing constant_time_compare<\/span>\n            <span class=\"cfvl-cspn-test-tool\">dudect<\/span>\n            <span class=\"cfvl-cspn-metric\">|t|&lt;4.5<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Timing HMAC-SHA3-256<\/span>\n            <span class=\"cfvl-cspn-test-tool\">dudect<\/span>\n            <span class=\"cfvl-cspn-metric\">|t|&lt;4.5<\/span>\n          <\/div>\n          <div class=\"cfvl-cspn-test\">\n            <span class=\"cfvl-cspn-test-name\">Timing policy_evaluate<\/span>\n            <span class=\"cfvl-cspn-test-tool\">dudect<\/span>\n            <span class=\"cfvl-cspn-metric\">|t|&lt;4.5<\/span>\n          <\/div>\n        <\/div>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 03 PRINCIPES \u2550\u2550\u2550 -->\n<div class=\"cfvl-band-dark\" id=\"cfvl-principes\">\n  <div class=\"cfvl-inner\">\n    <div class=\"cfvl-section-label\">03 \u2014 Principes directeurs<\/div>\n    <h2 style=\"color:#fff !important\">R\u00e8gles <em style=\"color:var(--ice)\">non n\u00e9gociables<\/em><\/h2>\n    <div class=\"cfvl-principles\">\n      <div class=\"cfvl-principle\">\n        <div class=\"cfvl-principle-num\">P.01<\/div>\n        <div>\n          <h3>Ind\u00e9pendance<\/h3>\n          <p>Le CFVL peut d\u00e9clarer un livrable non conforme, sans recours hi\u00e9rarchique sur le p\u00e9rim\u00e8tre formel \u00e9valu\u00e9. Aucune release ne peut \u00eatre publi\u00e9e sous avis n\u00e9gatif.<\/p>\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-principle\">\n        <div class=\"cfvl-principle-num\">P.02<\/div>\n        <div>\n          <h3>Z\u00e9ro compromis formel<\/h3>\n          <p>Aucune preuve incompl\u00e8te n&rsquo;est accept\u00e9e. Aucune lacune n&rsquo;est dissimul\u00e9e. 0&nbsp;sorry, 0&nbsp;Admitted, 0&nbsp;timeout, 0&nbsp;FAIL \u2014 invariant v\u00e9rifi\u00e9 \u00e0 chaque \u00e9valuation.<\/p>\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-principle\">\n        <div class=\"cfvl-principle-num\">P.03<\/div>\n        <div>\n          <h3>Reproductibilit\u00e9<\/h3>\n          <p>Toute validation peut \u00eatre reproduite par un tiers disposant des outils et versions document\u00e9s. Le CFVL fournit les commandes, les temps attendus, et les r\u00e9sultats attendus.<\/p>\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-principle\">\n        <div class=\"cfvl-principle-num\">P.04<\/div>\n        <div>\n          <h3>Transparence<\/h3>\n          <p>Les hypoth\u00e8ses, les limites du mod\u00e8le et les lacunes de couverture sont explicitement publi\u00e9es dans chaque rapport. Un rapport lucide est plus cr\u00e9dible qu&rsquo;un rapport parfait.<\/p>\n        <\/div>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 04 PROCESSUS \u2550\u2550\u2550 -->\n<div class=\"cfvl-section\" id=\"cfvl-processus\">\n  <div class=\"cfvl-section-label\">04 \u2014 Processus d&rsquo;\u00e9valuation<\/div>\n  <h2>Une \u00e9valuation <em>standardis\u00e9e<\/em><\/h2>\n  <p class=\"cfvl-lead\">\n    Lorsqu&rsquo;un syst\u00e8me ou un composant est soumis au CFVL, le processus suivant s&rsquo;applique \u2014 ind\u00e9pendamment de la nature ou de l&rsquo;origine du livrable.\n  <\/p>\n  <div class=\"cfvl-process\">\n    <div class=\"cfvl-step\">\n      <div class=\"cfvl-step-num\">1<\/div>\n      <h3>R\u00e9ception<\/h3>\n      <p>Le livrable est soumis avec sa sp\u00e9cification, ses preuves, et l&rsquo;identification de version (tag + hash).<\/p>\n    <\/div>\n    <div class=\"cfvl-step\">\n      <div class=\"cfvl-step-num\">2<\/div>\n      <h3>Recompilation<\/h3>\n      <p>Toutes les preuves sont recompil\u00e9es avec les versions d&rsquo;outils document\u00e9es. V\u00e9rification que les sessions terminent sans erreur.<\/p>\n    <\/div>\n    <div class=\"cfvl-step\">\n      <div class=\"cfvl-step-num\">3<\/div>\n      <h3>V\u00e9rification des invariants<\/h3>\n      <p>Tous les invariants d\u00e9clar\u00e9s sont v\u00e9rifi\u00e9s m\u00e9caniquement : 0&nbsp;sorry, 0&nbsp;Admitted, 0&nbsp;FAIL, 0&nbsp;timeout.<\/p>\n    <\/div>\n    <div class=\"cfvl-step\">\n      <div class=\"cfvl-step-num\">4<\/div>\n      <h3>Couverture des exigences<\/h3>\n      <p>Chaque exigence de s\u00e9curit\u00e9 (SFR) est trac\u00e9e vers au moins un th\u00e9or\u00e8me prouv\u00e9. La cartographie est produite.<\/p>\n    <\/div>\n    <div class=\"cfvl-step\">\n      <div class=\"cfvl-step-num\">5<\/div>\n      <h3>Documentation des lacunes<\/h3>\n      <p>Ce qui n&rsquo;est pas couvert est explicitement document\u00e9 : lacunes, hypoth\u00e8ses non v\u00e9rifiables, simplifications.<\/p>\n    <\/div>\n    <div class=\"cfvl-step\">\n      <div class=\"cfvl-step-num\">6<\/div>\n      <h3>Avis formel<\/h3>\n      <p>Le CFVL \u00e9met son avis : Conforme, Conforme avec r\u00e9serves, ou Non conforme.<\/p>\n    <\/div>\n    <div class=\"cfvl-step\">\n      <div class=\"cfvl-step-num\">7<\/div>\n      <h3>Rapport sign\u00e9<\/h3>\n      <p>Rapport d&rsquo;\u00e9valuation engageant le CFVL, version tagg\u00e9e, SHA-256 document\u00e9.<\/p>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 05 RECHERCHE \u2550\u2550\u2550 -->\n<div class=\"cfvl-band-warm\" id=\"cfvl-recherche\">\n  <div class=\"cfvl-inner\">\n    <div class=\"cfvl-section-label\">05 \u2014 Axes de recherche<\/div>\n    <h2>Recherche appliqu\u00e9e en <em>m\u00e9thodes formelles<\/em><\/h2>\n    <p class=\"cfvl-lead\">\n      Le CFVL s&rsquo;inscrit dans la continuit\u00e9 des travaux issus de la tradition LCF,\n      du programme de v\u00e9rification seL4, des frameworks de raffinement Isabelle\/HOL,\n      de CompCert (INRIA) et de HACL*\/F* (MSR\/INRIA).\n    <\/p>\n    <div class=\"cfvl-axes\">\n      <div class=\"cfvl-axis\">\n        <div class=\"cfvl-axis-num\">AXE 01<\/div>\n        <h3>Architectures gouvern\u00e9es<\/h3>\n        <p>Formalisation des propri\u00e9t\u00e9s d&rsquo;isolation, non-interf\u00e9rence, non-contournement, gouvernance d\u00e9cisionnelle et survie \u00e0 compromission partielle.<\/p>\n        <div class=\"cfvl-keywords\">\n          <span>refinement<\/span><span>unwinding<\/span><span>non-interference<\/span><span>BLP\/Biba<\/span>\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-axis\">\n        <div class=\"cfvl-axis-num\">AXE 02<\/div>\n        <h3>Bornage du TCB<\/h3>\n        <p>R\u00e9duction du p\u00e9rim\u00e8tre de confiance, exhaustion des capabilities, preuve de non-escalade de privil\u00e8ge, th\u00e9or\u00e8mes de survie.<\/p>\n        <div class=\"cfvl-keywords\">\n          <span>TCB minimality<\/span><span>capabilities<\/span><span>privilege separation<\/span>\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-axis\">\n        <div class=\"cfvl-axis-num\">AXE 03<\/div>\n        <h3>Cha\u00eene multi-niveaux<\/h3>\n        <p>Sp\u00e9cification abstraite \u2192 raffinement concret \u2192 impl\u00e9mentation v\u00e9rifi\u00e9e \u2192 compilation v\u00e9rifi\u00e9e. Relation de simulation prouv\u00e9e entre chaque niveau.<\/p>\n        <div class=\"cfvl-keywords\">\n          <span>Isabelle<\/span><span>Coq<\/span><span>Frama-C<\/span><span>CompCert<\/span><span>AutoCorres<\/span>\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-axis\">\n        <div class=\"cfvl-axis-num\">AXE 04<\/div>\n        <h3>Programmes ouverts<\/h3>\n        <p>V\u00e9rification protocolaire, extension MLS dynamique, propri\u00e9t\u00e9s d\u00e9cisionnelles IA gouvern\u00e9e, analyse side-channel, mod\u00e9lisation adversariale.<\/p>\n        <div class=\"cfvl-keywords\">\n          <span>ProVerif<\/span><span>HACL*<\/span><span>F*<\/span><span>Astr\u00e9e<\/span><span>Lean 4<\/span>\n        <\/div>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 06 GOUVERNANCE \u2550\u2550\u2550 -->\n<div class=\"cfvl-section\" id=\"cfvl-gouvernance\">\n  <div class=\"cfvl-section-label\">06 \u2014 Gouvernance<\/div>\n  <h2>Un mod\u00e8le de maturit\u00e9 <em>en trois phases<\/em><\/h2>\n  <p class=\"cfvl-lead\">\n    L&rsquo;ind\u00e9pendance de validation est garantie d\u00e8s la phase initiale par les moteurs formels LCF,\n    ind\u00e9pendamment de la structure organisationnelle.\n  <\/p>\n  <div class=\"cfvl-phases\">\n    <div class=\"cfvl-phase\">\n      <div class=\"cfvl-phase-label\">Phase 1<\/div>\n      <h3>Coh\u00e9rence fondatrice<\/h3>\n      <p>Validation par noyaux LCF. Corpus formel consolid\u00e9. Ind\u00e9pendance machine garantie.<\/p>\n      <span class=\"cfvl-status cfvl-status-active\">\u25cf EN COURS<\/span>\n    <\/div>\n    <div class=\"cfvl-phase\">\n      <div class=\"cfvl-phase-label\">Phase 2<\/div>\n      <h3>S\u00e9paration fonctionnelle<\/h3>\n      <p>Ing\u00e9nieur formel senior. Revue crois\u00e9e d\u00e9veloppement \/ validation. \u00c9limination du biais de mod\u00e9lisation.<\/p>\n      <span class=\"cfvl-status cfvl-status-planned\">\u25ef PLANIFI\u00c9<\/span>\n    <\/div>\n    <div class=\"cfvl-phase\">\n      <div class=\"cfvl-phase-label\">Phase 3<\/div>\n      <h3>Validation externe<\/h3>\n      <p>Support \u00e0 audit tiers (CESTI \/ ANSSI). S\u00e9paration compl\u00e8te d\u00e9veloppeur \/ \u00e9valuateur.<\/p>\n      <span class=\"cfvl-status cfvl-status-planned\">\u25ef PLANIFI\u00c9<\/span>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 07 DOCUMENTS \u2550\u2550\u2550 -->\n<div class=\"cfvl-band-dark\">\n  <div class=\"cfvl-inner\">\n    <div class=\"cfvl-section-label\">07 \u2014 Documents<\/div>\n    <h2 style=\"color:#fff !important\">Deux cat\u00e9gories <em style=\"color:var(--ice)\">distinctes<\/em><\/h2>\n    <p class=\"cfvl-lead\">\n      Les documents institutionnels d\u00e9crivent le laboratoire.\n      Les rapports d&rsquo;\u00e9valuation \u00e9valuent les syst\u00e8mes soumis.\n      Cette s\u00e9paration est un principe structurant.\n    <\/p>\n    <div class=\"cfvl-doc-grid\">\n      <div class=\"cfvl-doc-cat\">\n        <div class=\"cfvl-doc-header\">Documents institutionnels<\/div>\n        <div class=\"cfvl-doc-body\">\n          <div class=\"cfvl-doc-item\"><strong>Charte<\/strong> \u2014 Identit\u00e9, mission, principes, gouvernance<\/div>\n          <div class=\"cfvl-doc-item\"><strong>M\u00e9thodologie<\/strong> \u2014 Outils, crit\u00e8res, seuils de rejet<\/div>\n          <div class=\"cfvl-doc-item\"><strong>Journal R&#038;D<\/strong> \u2014 Verrous scientifiques, r\u00e9sultats, \u00e9checs<\/div>\n          <div class=\"cfvl-doc-item\"><strong>Inventaire<\/strong> \u2014 Catalogue des publications<\/div>\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-doc-cat\">\n        <div class=\"cfvl-doc-header\">Rapports d&rsquo;\u00e9valuation<\/div>\n        <div class=\"cfvl-doc-body\">\n          <div class=\"cfvl-doc-item\"><strong>Baseline<\/strong> \u2014 Version fig\u00e9e du p\u00e9rim\u00e8tre \u00e9valu\u00e9<\/div>\n          <div class=\"cfvl-doc-item\"><strong>Cartographie SFR<\/strong> \u2014 Exigences \u2192 th\u00e9or\u00e8mes<\/div>\n          <div class=\"cfvl-doc-item\"><strong>P\u00e9rim\u00e8tre TCB<\/strong> \u2014 Fronti\u00e8res, interfaces, invariants<\/div>\n          <div class=\"cfvl-doc-item\"><strong>Couverture menaces<\/strong> \u2014 Mod\u00e8le de menaces et couverture<\/div>\n        <\/div>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 08 COLLABORATION \u2550\u2550\u2550 -->\n<div class=\"cfvl-section\">\n  <div class=\"cfvl-section-label\">08 \u2014 Ouverture scientifique<\/div>\n  <h2>Collaborations <em>&amp; partenariats<\/em><\/h2>\n  <p class=\"cfvl-lead\">\n    Le CFVL est ouvert aux collaborations acad\u00e9miques avec les laboratoires\n    en m\u00e9thodes formelles, s\u00e9curit\u00e9 syst\u00e8mes, compilation v\u00e9rifi\u00e9e et cryptographie formelle.\n  <\/p>\n  <div class=\"cfvl-collab\">\n    <div class=\"cfvl-collab-item\">\n      <h3>CIFRE<\/h3>\n      <p>Conventions industrielles de formation par la recherche<\/p>\n    <\/div>\n    <div class=\"cfvl-collab-item\">\n      <h3>Co-encadrement<\/h3>\n      <p>Doctorats et post-doctorats en m\u00e9thodes formelles<\/p>\n    <\/div>\n    <div class=\"cfvl-collab-item\">\n      <h3>Publications<\/h3>\n      <p>Articles et communications conjoints<\/p>\n    <\/div>\n    <div class=\"cfvl-collab-item\">\n      <h3>ANR \/ France 2030<\/h3>\n      <p>Appels \u00e0 projets recherche appliqu\u00e9e<\/p>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 FOOTER \u2550\u2550\u2550 -->\n<div class=\"cfvl-footer\" id=\"cfvl-contact\">\n  <div class=\"cfvl-inner\">\n    <div>\n      <div class=\"cfvl-footer-brand\">CFVL<span>.<\/span><\/div>\n      <p>CORTEX Formal Verification Laboratory<br>\n      Laboratoire interne de v\u00e9rification formelle<br>\n      Rattachement : CORTEX AI TM<\/p>\n    <\/div>\n    <div>\n      <h4>Cadre<\/h4>\n      <a href=\"#\">Charte du laboratoire<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/827-2\/\">M\u00e9thodologie<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&amp;D<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/839-2\/\">Template rapport<\/a>\n    <\/div>\n    <div>\n      <h4>Recherche<\/h4>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/835-2\/\">Axes scientifiques<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/830-2\/\">Collaborations<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/837-2\/\">Contact acad\u00e9mique<\/a>\n    <\/div>\n  <\/div>\n  <div style=\"border-top:1px solid rgba(184,212,240,0.08);padding:1.2rem 0;display:flex;justify-content:center;flex-wrap:wrap;gap:1.5rem 2.5rem;margin-top:1rem\">\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>IA expliqu\u00e9e simplement<\/a>\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Investisseurs &amp; partenaires<\/a>\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Industriels &amp; int\u00e9grateurs<\/a>\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>D\u00e9cideurs publics &amp; autorit\u00e9s<\/a>\n  <\/div>\n  <div class=\"cfvl-footer-bottom\">\n    <span>\u00a9 2026 CORTEX AI TM \u2014 CFVL \u2014 Tous droits r\u00e9serv\u00e9s<\/span>\n    <span>Diffusion restreinte<\/span>\n  <\/div>\n<\/div>\n\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>CORTEX ORIGIN\u2122 Architecture Socle critique (TCB) CORTEX ORIGIN\u2122 \u2014 Vue d&rsquo;ensemble Cortex Core\u2122 OMEGA\u2122 \u2014 Gouvernance PRISM\u2122 \u2014 Preuve AEGIS\u2122 \u2014 Ex\u00e9cution FULCRUM\u2122 S\u00e9curit\u00e9 &amp; Confinement SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active WALL-DOME\u2122 \u2014 Confinement CERB\u00c8RE\u2122 Decision Guard\u2122 CMS CORTEX MORPHIC SHIELD\u2122 \u2197 Interface &amp; Orchestration AVA\u2122 &amp; CPL\u2122 \u2014 Interface Multi LCM \/ TRM Engine\u2122 TRM [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-689","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/689","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/comments?post=689"}],"version-history":[{"count":15,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/689\/revisions"}],"predecessor-version":[{"id":1249,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/689\/revisions\/1249"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=689"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}