This repository is not active
ihassin/Buggy-Verifier
A post-hoc type checker to ensure code has desired properties that guarantee error free behavior
A post-hoc type checker to ensure code has desired properties that guarantee error free behavior
This repository is not active