705 followers
A journal article about automation for stepping separation-logic assertions through C programs. The automation makes VST usable and it keeps improving. The amount of reasoning it does is remarkable. https://t.co/LFIrLfbFUc Work at @Princeton @PrincetonCS