ihassin/Buggy-Verifier
A post-hoc type checker to ensure code has desired properties that guarantee error free behavior
Stargazers
No one’s star this repository yet.
A post-hoc type checker to ensure code has desired properties that guarantee error free behavior
No one’s star this repository yet.