News for hackers. Stuff that matters.

A comment on The Hitchhiker's Guide to Logical Verification [pdf]. Parent comment

Re:The Hitchhiker's Guide to Logical Verification [pdf] by indolering on Thursday August 01, 2024 @02:49AM (#41126727)
IELE: basically WASM but designed for formal verification. But I think it's dead.
[ Parent | on HN ]

There are no comments on this comment yet.