Checker Software Systems