Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
hdkgjfhdj
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
hdkgjfhdj
5y ago
Ada, even with Spark, has formal verification capabilities that are nowhere near what has been achieved for C with Frama-C. With Frama-C you can prove that arbitrary heap allocated data structures with pointers are bug-free. You can’t do th