DEV Community

#formalverification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
AI Can Migrate Your COBOL to Java. It Can't Prove It Didn't Break Anything. We Built the Part That Does.
vaibhav_tech4biz profile

AI Can Migrate Your COBOL to Java. It Can't Prove It Didn't Break Anything. We Built the Part That Does.

#legacy #architecture #formalverification #legacymigration
Comments
6 min read
I Built a Tokamak Control System Alone. Here's What I Learned About Writing Software That Can't Fail.
anulum profile

I Built a Tokamak Control System Alone. Here's What I Learned About Writing Software That Can't Fail.

#rust #fusionenergy #formalverification #lowlatencycontrolsystems
Comments
10 min read
SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma Control
anulum profile

SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma Control

#rust #python #formalverification #fusionenergy
Comments
7 min read
Using Formal Verification in RISC-V Verification
alpinumblogs profile

Using Formal Verification in RISC-V Verification

#formalverification #riscv #riscverification #semiconductor
Comments
6 min read
Strategic Issues in Adopting Formal Verification
alpinumblogs profile

Strategic Issues in Adopting Formal Verification

#formalverification #semiconductorverification #semiconductortechnology #designverification
Comments
6 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.