The MAVERIC Research Group

MAVERIC was a research group involving faculty and students from the Department of Computer Science and the Department of Electrical and Computer Engineering at the 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 WATFORM, 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 Integrated Circuits".

NOTE: The Publications are up-to-date; last updated on August 14, 2008.

Please direct your comments to Janusz A. (John) Brzozowski