Advanced Features For An Integrated Verification Environment