Sekura JS Formal Verification: A First Step Toward Evidence for the Language
Sep 30, 2026 · 6 min · Akhat T. Kuangaliyev
Proof Without Disclosing Source Code: How SJV Contracts and SJP Packages Support Independent Verification
Sep 26, 2026 · 9 min · Akhat T. Kuangaliyev
Sekura Noda Assurance: Requirements, Verification, and Engineering Evidence
Sep 24, 2026 · 8 min · Akhat T. Kuangaliyev
Formal Verification of SystemVerilog in Memora8: RTL Contracts and Proof Scope
Sep 23, 2026 · 8 min · Akhat T. Kuangaliyev
Memora8 Memory Architecture: K4,4 Topology Closes 125 MHz Timing on Artix-7
Sep 23, 2026 · 8 min · Akhat T. Kuangaliyev
Sekura JS Formal Verification: Proving Compiled Programs Against SJV Contracts
Sep 8, 2026 · 10 min · Akhat T. Kuangaliyev