formal-verification

Documents about formal-verification

• CES-CORE: A Deterministic Execution Discipline for LLM-Assisted Engineering#126968DataCite
• Real-Time Space-Time Partitioning via Deterministic Collision Engines with Automated Formal Verification in Lean 4-SNSFL PNBA Identity Physics#699928PhilArchive
• Secure and verifiable coercion-resistant electronic exam#923081HAL (France)
• Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem#2704arXiv CS
• From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification#134579arXiv CS
• Formal Verification of Multi-Controller Systems in Cloud Management#156417HAL (France)
• Verification of $K$- and Infinite-Step Strong/Weak Anonymity Using Concurrent Compositions#821157arXiv (All)
• Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering#300010arXiv CS
• Closing the HNDL Window in Consumer eSIM Provisioning: Hybrid Post-Quantum Migration, Formal Verification, and Deployment Constraints on eUICC Silicon.#455480NCBI PubMed Central
• CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives#997237arXiv (All)
• A Benchmark Suite and Ground-Truth Methodology for Formal Verification of IEC 61131-3 Ladder Diagram Programs#1013149arXiv (All)
• Building blocks for secure services : authenticated key transport and rational exchange protocols#448515DataCite
• The Ouroboros Linking Number as a Hopf Invariant: A Mathematical Proof#196394Zenodo (CERN)
• The Geometry of Consciousness: Informational Dynamics, Intrinsic Time, and Decision-Theoretic Sufficiency A Unified Dissolution of the Externalist Impasse, with Formal Verification and Cross-Domain Validation#730091PhilArchive
• uuidna — content-addressed identity, honest by construction: 2499 distinct kernel-verified theorems under 2582 keys across 115 principles#681829Zenodo (CERN)
• RFC-ATF-4: Agent Trust Fabric — Proactive Governance Layer: Anticipatory Veto Protocol, Dynamic Semantic Portability, and Structural Shift Detection#245064Zenodo (CERN)
• Einstein’s Unfinished Work Is Finished. The Proof Is Public. 0 Sorry Lossless Formal Verification of the Unified Field Theory via the PNBA Dynamic Equation with Long Division Reductions and Theory of Everything (TOE)Total Corpus Consistency#723241PhilArchive
• Lean-Verified Chronos Yang–Mills Formalization: Gauge Covariance, Gauss Constraints, Regulated Hamiltonians, Exact Physical Spectrum, and Unitary Evolution — YM1–YM87#1055885Zenodo (CERN)
• Next-Generation App Development Services for Modern Businesses#467982Figshare
• A Classical Field Theory Equivalent to Quantum Physics: The Ouroboros Lagrangian as the Law of Everything Prior to Gravity#188976Zenodo (CERN)