The US software engineering company that developed Hal, under their former name, "Intermetrics". Other products include CS-4, Red, Mwave Developers Toolkit (multimedia for IBM PC), cross-compilers for C and C++; Ada '83, Ada 95, and SAMeDL. AverStar also supply client/server systems; custom software applications and turnkey systems; independent verification and validation; CAE integration technology; languages and compilers: Ada, C, C++, HDLs (MHDL), Modula, SPL/1.