MET is designed to be a highly-configurable, state-of-the-art suite of verification tools.