Work on model checkers