WatForm models This repository is a collection of various models gathered or developed by the members of the Waterloo Formal Methods Research Group (WatForm) at the University of Waterloo.