Information Technology Halifax firm gets federal funding to develop software tool August 4, 2016 Tool is engineered to "crawl over'' computerized designs or blueprints using mathematical proofs that can ask questions