Formalmethods - DEV Community

Skip to content

DEV Community

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Oct 28

Proving what a URL allowlist decides, in Lean 4

#security #ai #formalmethods

7 min read

Sep 26

Proof Without Sharing Source Code: SJV, SJP, and the Trust Boundary

#formalmethods #architecture

6 min read

Sep 8

I Built Formal Verification for Compiled Sekura JS Programs with SJV and Z3

#programming #formalmethods #z3 #compiling

7 min read

Formal specs beat scattered tests

Aug 11

Write down every guarantee before you write any code

#ai #rust #formalmethods #testing

11 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.