The Verification Support Environment (VSE) is a CASE-tool that supports the user in the formal development of software. It has a rather broad range of applicability as was already shown in several industrial applications, be it in the safety or in the IT-security domain. We claim that VSE is equally applicable in the domain of plan verification.