Work in progress on Model Checkers