QRA
-
Halifax firm gets federal funding to develop software tool
Tool is engineered to “crawl over” computerized designs or blueprints using mathematical proofs that can ask questions