AI Can Migrate Your COBOL to Java. It Can't Prove It Didn't Break Anything. We Built the Part That Does.
Every bank, insurer, and government system running on a mainframe today is sitting on COBOL that...
Jul 14, 20266 min read0 reactions0 comments
Back to articles Jul 14, 2026 
Jun 8, 2026
Jun 8, 2026
Jun 2, 2026
May 19, 2026
May 26, 2026
Apr 30, 2026
Apr 21, 2026
Feb 4, 2026
Jan 21, 2026
Dec 29, 2025
Tag archive
#formalverification
I Built a Tokamak Control System Alone. Here's What I Learned About Writing Software That Can't Fail.
What happens when you apply production-grade security, formal verification, and 3,300+ tests to a...
Jun 8, 202610 min read0 reactions0 comments
SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma Control
SCPN-FUSION-CORE ON GITHUB We built an open-source software laboratory that treats tokamak plasma...
Jun 8, 20267 min read0 reactions0 comments
Using Formal Verification in RISC-V Verification
Originally published on Alpinum Consulting The growth of open processor architectures has...
Jun 2, 20266 min read0 reactions0 comments
Formal Security Verification in SoC Design: Preventing Data Leakage and Unauthorised Access at Chip Level
Originally published on Alpinum Consulting's website ## Introduction Modern SoCs operate across...
May 19, 20268 min read0 reactions0 comments
Using Formal Verification for ISO 26262 Safety Compliance in Automotive Semiconductor Design
Originally published on Alpinum Consulting website Introduction Automotive semiconductor...
May 26, 20266 min read0 reactions0 comments
The AHAA Model: Structuring Formal Verification
For a detailed technical breakdown, read the full article here: 👉...
Apr 30, 20261 min read0 reactions0 comments
Strategic Issues in Adopting Formal Verification
Introduction As semiconductor systems increase in size, configurability, and software...
Apr 21, 20266 min read0 reactions0 comments
L
Apr 8, 2026LLMs Generate Vulnerable C/C++ Code: Self-Review Fails to Mitigate Security Flaws
Introduction Large Language Models (LLMs) exhibit a systemic propensity to generate C/C++...
Apr 8, 202610 min read0 reactions0 comments
Why System-Scale Programmes Accumulate Risk Despite Strong Verification and Tooling
Large engineering programmes rarely fail because verification has been neglected. In many cases,...
Feb 4, 20266 min read0 reactions0 comments
Why FPGA Programmes Fail Late and Why Tool Choice Is Rarely the Real Issue
The tools teams choose rarely cause late FPGA programme failures. In most cases, warning signs appear...
Jan 21, 20266 min read0 reactions0 comments
184 Theorems, Zero Sorry How We Formally Verified a Multi-Chain Protocol
When "it works" isn't good enough Most blockchain projects test their code. We prove...
Dec 29, 20255 min read1 reactions0 comments