Verdi

Named for the Italian composer Giuseppe Verdi (1813-1901)

Mark Saaltink, Dan Craigen, 1991

A specification language for provable systems based on untyped set theory. The basis of the EVES (Euclid Verification and Evaluation System) verification system, used for describing mathematical theories, theorem proving, specifying and implementing programs, and proving consistency between specification and implementation. See m-Verdi, s-Verdi.

Dan Craigen, "Reference Manual for the Language Verdi", TR-91-5429-09a, ORA Canada, Sept 1991.