"2002Z"^^ . . . . . "Coverity, Inc."@en . "250"^^ . . "Coverity is a brand of development testing solutions from Synopsys, including static code analysis tools, for C, C++, Java, C#, and JavaScript, used to find defects and security vulnerabilities in source code.Coverity, Inc., founded by Stanford University researchers in 2002, was acquired by Synopsys, Inc., in 2014."@en . . . "Acquired bySynopsys"@en .