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
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
Strategic Issues in Adopting Formal Verification
Alpinum Consulting
Alpinum Consulting
Alpinum Consulting
Follow
Apr 21
Strategic Issues in Adopting Formal Verification
#
formalverification
#
semiconductorverification
#
semiconductortechnology
#
designverification
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
