Trust not, verify. How to verify algorithms with model checker - View it on GitHub