Formal methods can start small | Hacker News - But Better

Formal methods can start small yovico.ai

Proof assistants are introduced through their hardest applications, so people assume opening one means a large project. A four-state Agda specification, compiled and used as the test oracle for Go code, shows how small…

1 points•siberiankot•8 days ago•0 comments•

#formal #methods #formal methods #start small #assistants #applications #hardest #proof

0 comments

No comments yet.

Related stories

Show HN: Proof-native smart contracts without a transaction archivecolosseum.com
Hacker News · 1 points · 4 days ago
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilationtheory.stanford.edu
Lobsters · 2 points · over 7 years ago
We beat Google’s zero-knowledge proof of quantum cryptanalysisblog.trailofbits.com
Lobsters · 51 points · 6 months ago
Topcoat is pushing the boundary of server applications with Rusttokio.rs
Lobsters · 3 points · 6 days ago
Synth-OOP: An Object-Oriented Language Where Operators Become Methodsdev.to
DEV Community · 2 points · 8 days ago
AI proof of the Erdős–Sós conjecturearxiv.org
Hacker News · 5 points · 8 days ago