DEV Community

#formalverification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Why Verification Asks You to Leave the Language You Ship
thechrisin profile

Why Verification Asks You to Leave the Language You Ship

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