conch (Con-tract Ch-ecker) is a software for performing contract compliance checking.