Posted in Government & Military DSVIS stands for Design, Specification, and Verification of Interactive Systems