Integrated Formal Methods door