Model checker

Coming soon.