WordNet (r) 3.0 (2006):
Verdi n 1: Italian operatic composer (1813-1901) [syn: Verdi, Giuseppe Verdi, Guiseppe Fortunino Francesco Verdi]The Free On-line Dictionary of Computing (19 January 2023):
Verdi (named after the Italian composer Giuseppe Verdi (1813-1901)) Provable systems language. Descendant of Ottawa Euclid.