Verdix

{{Infobox company

| name = Verdix Corporation

| type = public

| industry = software

| successor = Rational Software

| founded = {{Start date and age|1982}}

| founder = George Cowan
Donn Milton

| hq_location = Fairfax County, Virginia

| defunct = {{End date and age|1994}}

| fate = acquired by Rational Software

}}

Verdix Corporation was an American software company active in the 1980s and 1990s and based in Fairfax County, Virginia, that specialized in language compilers for the Ada programming language.

Verdix was founded in 1982 by George Cowan and Donn Milton. It became a public company in 1983.{{cite press release | url=http://www.prnewswire.com/news-releases/socrates-technologies-corporation-announces-appointment-of-new-directors-77760987.html | title=Socrates Technologies Corporation Announces Appointment of New Directors | publisher=PRNewswire | date=December 14, 1998}}{{cite web | url=https://www.pmiwdc.org/2009-03-chantilly | title=March Chantilly Luncheon – Donn Milton – 'Practical EVM with CMMI-Compliant Processes' | publisher=PMI Washington | date=March 12, 2009}} Cohen served as its CEO and chair while Milton managed the company's Ada Products Division. Its initial offices were in McLean, Virginia but it subsequently moved to Chantilly and then Herndon, all within Fairfax County in northern Virginia.

The Verdix Ada Development System (VADS){{cite book | url=https://books.google.com/books?id=5UZj1dDWagkC&pg=PA174 |title=Ada Yearbook 1993 | pages=174–175 | first=Christopher | last=Luftus |year=1993 |publisher=IOS Press | isbn= 9789051991246 }} provided a set of tools for software developers who create complex systems. It included an Ada compiler, a visual debugger, a library management system, and an efficient runtime system. VADS was sold in several configurations:

• VADS self: For self-hosted systems running on workstations
• VADScross: For applications embedded in microprocessors
• VADSworks: For networked microprocessor applications providing critical communications and efficiency
• VADSpro: A complete configuration management system integrated with IDE OODSA/Ada, SART (automated reasoning tools), and Interleaf
• VADS APSE: VADSpro plus tools for developing CASE applications
• VSLAN (Verdix Secure Local Area Network): For developers working in highly secure environments

The company achieved its first official validated Ada compiler in January 1985.

{{cite news | url=https://books.google.com/books?id=yni2CyDFtxYC&pg=PA50 | title=DOD backs Ada compiler from Verdix | newspaper=Computerworld | date=January 14, 1985 | page=50}} Verdix became known for the large number of Ada compilers it offered on many different systems, selling both native compilers and cross-compilers for embedded systems architectures. By 1992 Verdix had 105 different Ada compilers on the Ada Joint Program Office validated compilers list, easily the most of any Ada vendor (next highest was Alsys with 60).{{cite news | title=Ada Validated Compilers List | publisher=Ada Information Clearinghouse | date=July 1, 1992 | pages=27–36}} Its revenues were around $13 million.

The Ada software environment was originally thought to be a promising market, with a number of small, new companies including Verdix seeking to gain a foothold in it.{{cite news | url=https://www.latimes.com/archives/la-xpm-1985-11-25-fi-1680-story.html | title=Small Firms Capitalize on Pentagon Software | agency=Reuters | newspaper=Los Angeles Times | date=November 25, 1985 }}

But the Ada compiler business proved to be a difficult one to be in; many of the advantages of the language for general-purpose programming were not seen as such by the general software engineering community or by educators.{{cite journal | first=Jean-Pierre | last=Rosen | title=The Ada paradox(es)

| date=September 2009 | journal=ACM SIGAda Ada Letters | volume=29 | issue=2 | pages=28–35| doi=10.1145/1620593.1620597 | s2cid=608405 }}

Consolidations happened within the Ada software tools industry. In 1991 Verix bought Meridian Software Systems, another Ada compiler company.{{cite news | url=https://www.latimes.com/archives/la-xpm-1991-11-27-fi-293-story.html | title=Eastern Firm to Buy Meridian Software Systems : Computers: Verdix Corp. of Virginia plans to acquire the Irvine company in a stock swap worth about $6 million | first=Dean | last=Takahashi | newspaper=Los Angeles Times | date=November 27, 1991}} In 1994, Verdix itself was acquired by Rational Software.