m-Verdi

Dan Craigen et al

Specification language used in the m-EVES system. See Verdi, s-Verdi.

Dan Craigen et al, "m-EVES: A Tool for Verifying Software", Proceedings of the 11th International Conference on Software Engineering, Singapore 1988.