/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.