VOOZH
about
URL: https://dev.to/t/formalverification
β± Formalverification - DEV Community
I Built a Tokamak Control System Alone. Here's What I Learned About Writing Software That Can't Fail.
π anulum profile
Miroslav Ε otek
π Image
Miroslav Ε otek
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
Add Comment
10 min read
SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma Control
π anulum profile
Miroslav Ε otek
π Image
Miroslav Ε otek
Jun 8
SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma Control
#
rust
#
python
#
formalverification
#
fusionenergy
Add Comment
7 min read
Using Formal Verification in RISC-V Verification
π alpinumblogs profile
Alpinum Consulting
π Image
Alpinum Consulting
Jun 2
Using Formal Verification in RISC-V Verification
#
formalverification
#
riscv
#
riscverification
#
semiconductor
Add Comment
6 min read
Strategic Issues in Adopting Formal Verification
π alpinumblogs profile
Alpinum Consulting
π Image
Alpinum Consulting
Apr 21
Strategic Issues in Adopting Formal Verification
#
formalverification
#
semiconductorverification
#
semiconductortechnology
#
designverification
Add Comment
6 min read
LLMs Generate Vulnerable C/C++ Code: Self-Review Fails to Mitigate Security Flaws
π kserude profile
Ksenia Rudneva
π Image
Ksenia Rudneva
Apr 8
LLMs Generate Vulnerable C/C++ Code: Self-Review Fails to Mitigate Security Flaws
#
llms
#
security
#
vulnerabilities
#
formalverification
Add Comment
10 min read
π
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
π DEV Community
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
π Image
π Image
π Image
π Image
π Image