Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
formalverification
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
AI Can Migrate Your COBOL to Java. It Can't Prove It Didn't Break Anything. We Built the Part That Does.
Vaibhav Tekam
Vaibhav Tekam
Vaibhav Tekam
Follow
Jul 14
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
Add Comment
6 min read
I Built a Tokamak Control System Alone. Here's What I Learned About Writing Software That Can't Fail.
Miroslav Å otek
Miroslav Å otek
Miroslav Å otek
Follow
Jun 8
I Built a Tokamak Control System Alone. Here's What I Learned About Writing Software That Can't Fail.
#
rust
#
fusionenergy
#
formalverification
#
lowlatencycontrolsystems
Comments
Add Comment
10 min read
SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma Control
Miroslav Å otek
Miroslav Å otek
Miroslav Å otek
Follow
Jun 8
SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma Control
#
rust
#
python
#
formalverification
#
fusionenergy
Comments
Add Comment
7 min read
Using Formal Verification in RISC-V Verification
Alpinum Consulting
Alpinum Consulting
Alpinum Consulting
Follow
Jun 2
Using Formal Verification in RISC-V Verification
#
formalverification
#
riscv
#
riscverification
#
semiconductor
Comments
Add Comment
6 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
