toy-verifier

Minimal static analysis based verifier for educational purpose