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…
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…