DEV Community

#formalverification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
A formally-verified OCaml tool to recover RPG Maker assets — one binary, zero deps
rolanfreeman6png profile
LulLaS

A formally-verified OCaml tool to recover RPG Maker assets — one binary, zero deps

#showdev #ocaml #reverseengineering #formalverification
1
Comments
1 min read
When Did AI Become the New Toy? I Just Got Here.
marius0of1 profile

When Did AI Become the New Toy? I Just Got Here.

#ai #architecture #security #formalverification
Comments 4
4 min read
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
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.