CHECKER Software Systems‏