corpus.blog
41,554 blogs · 5,217,468 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d7768b670608

The Formal Verification Triangle

verse.systems · published 21 October 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at verse.systems Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
32
Words captured
882

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Formal_methods
en.wikipedia.org
https://en.wikipedia.org/wiki/Software_verification
en.wikipedia.org
https://www.cprover.org/cbmc/
cprover.org
https://en.wikipedia.org/wiki/Astr%C3%A9e_(static_analysis
en.wikipedia.org
https://klee-se.org/
klee-se.org
https://en.wikipedia.org/wiki/Dafny
en.wikipedia.org
https://doc.rust-lang.org/1.8.0/book/references-and-borrowing.html
doc.rust-lang.org
https://en.wikipedia.org/wiki/Proof_assistant
en.wikipedia.org
https://www.cs.ox.ac.uk/people/toby.murray/
cs.ox.ac.uk
https://en.wikipedia.org/wiki/Computational_resource
en.wikipedia.org
https://en.wikipedia.org/wiki/Correctness_(computer_science
en.wikipedia.org
https://en.wikipedia.org/wiki/Tony_Hoare
en.wikipedia.org
https://en.wikipedia.org/wiki/Patrick_Cousot
en.wikipedia.org
https://en.wikipedia.org/wiki/Radhia_Cousot
en.wikipedia.org
https://en.wikipedia.org/wiki/Edmund_M._Clarke
en.wikipedia.org
https://en.wikipedia.org/wiki/Peter_O%27Hearn
en.wikipedia.org
https://en.wikipedia.org/wiki/Trilemma
en.wikipedia.org
https://en.wikipedia.org/wiki/Zooko%27s_triangle
en.wikipedia.org
https://en.wikipedia.org/wiki/Impossible_trinity
en.wikipedia.org
https://en.wikipedia.org/wiki/Invariant_(mathematics
en.wikipedia.org
https://sel4.systems
sel4.systems
https://compcert.org/
compcert.org
https://dafny.org/
dafny.org
https://en.wikipedia.org/wiki/SPARK_(programming_language
en.wikipedia.org
https://en.wikipedia.org/wiki/Symbolic_execution
en.wikipedia.org
https://binsec.github.io/
binsec.github.io
https://en.wikipedia.org/wiki/Path_explosion
en.wikipedia.org
https://en.wikipedia.org/wiki/Model_checking
en.wikipedia.org
https://pzuliani.github.io/papers/LASER2011-Model-Checking.pdf
pzuliani.github.io
https://en.wikipedia.org/wiki/Abstract_interpretation
en.wikipedia.org
https://pcousot.github.io/talks/Cousot_TASE07_Tutorial2_1-1.pdf
pcousot.github.io
https://people.eng.unimelb.edu.au/tobym/
people.eng.unimelb.edu.au