Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
raada
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
raada
4y ago
A recent (and in a lot of cases more useful) trend is showing that programs are incorrect (buggy) rather than correct. Specifically, there is a recent an analogue of SL, called incorrectness separation logic (ISL) that i designed to prove