corpus.blog
42,390 blogs · 5,361,753 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d7768c468f59

Formally Verified Certified Robustness

verse.systems · published 21 July 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
23
Words captured
2,879

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.arxiv.org/abs/2505.06958
arxiv.org
https://conferences.i-cav.org/2025/
conferences.i-cav.org
https://arxiv.org/abs/2603.13334
arxiv.org
https://arxiv.org/abs/2102.08452
arxiv.org
https://www.galois.com/articles/specifications-dont-exist
galois.com
https://en.wikipedia.org/wiki/Imperative_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Hoare_logic
en.wikipedia.org
https://github.com/tobycmurray/verified-certified-robustness/blob/main/basic_arithmetic.dfy
github.com
https://en.wikipedia.org/wiki/Axiom
en.wikipedia.org
https://en.wikipedia.org/wiki/Dafny
en.wikipedia.org
https://www.youtube.com/watch?v=aircAruvnKk
youtube.com
https://en.wikipedia.org/wiki/Pure_function
en.wikipedia.org
https://github.com/tobycmurray/verified-certified-robustness/blob/main/neural_networks.dfy
github.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/robustness_certification.dfy
github.com
https://en.wikipedia.org/wiki/Lemma_(mathematics
en.wikipedia.org
https://github.com/tobycmurray/verified-certified-robustness/blob/main/operator_norms.dfy
github.com
https://dafny.org/latest/DafnyRef/DafnyRef
dafny.org
https://stackoverflow.com/questions/48509484/what-are-real-numbers-in-dafny
stackoverflow.com
https://github.com/tobycmurray/verified-certified-robustness/blob/main/main.dfy
github.com
https://ieeexplore.ieee.org/document/8543381
ieeexplore.ieee.org
https://arxiv.org/abs/2305.16173
arxiv.org
http://www.arxiv.org/abs/2505.06958
arxiv.org
https://people.eng.unimelb.edu.au/tobym/
people.eng.unimelb.edu.au
Elsewhere on verse.systems (6)