Mechanical Verification and Interactive Systems Development