U.S. federal trademark · Serial No. 99313129
Downloadable computer software for use in code review and analysis using automated reasoning; Downloadable computer software for implementing an intermediate representation language
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.