(named after the Italian composer Giuseppe Verdi (1813-1901)) Provable systems language. Descendant of Ottawa Euclid.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Venus flytrap « verbage « verbiage « Verdi » verification » Verilog » Verilog SA
