MAVERIC was a research group involving faculty and students from the
Department of Computer Science and the
Department of Electrical and Computer Engineering
University of Waterloo, and from the
Department of Computer Science at the
University of Western Ontario.
In 2001 the two remaining members of the Maveric Group joined
the Waterloo Formal Methods Group, which you are invited to visit.
For further details please see the
History of MAVERIC.
"MAVERIC" can be interpreted as an acronym for "Models and
Algorithms for Synthesis, VERification, and Testing of