Illinois Rocstar LLC

Riverside Research Institute is an independent nonprofit organization dedicated to advancing national security through innovative scientific research and development. With a focus on areas such as artificial intelligence, secure systems, and advanced radar technologies, the institute collaborates with various mission partners to deliver effective solutions in the public interest. Employing a team of scientists, analysts, and engineers, Riverside Research fosters a culture of open innovation that drives rapid advancements in defense capabilities. Their commitment to public and national security interests ensures that they remain at the forefront of addressing complex security challenges through rigorous research and development efforts. Generated from the website

Runtime Verification Inc, based in Champaign, IL, specializes in enhancing security strategies through formal verification and smart contract auditing. Their rigorous approach goes beyond traditional code reviews, employing advanced verification tools to mathematically prove or disprove key properties, thereby eliminating vulnerabilities often overlooked in standard audits. The company also develops open-source security tools tailored for blockchain audits, reflecting their commitment to the open ethos of Web3. Their suite of tools includes Kontrol, Simbolik, and KaaS, designed to empower developers with cutting-edge solutions for formal verification, debugging, and fuzzing. Generated from the website

SourceGear LLC, founded in January 1997 and based in Champaign, Illinois, specializes in software development and is well-regarded for its products such as Vault, DiffMerge, and SourceOffSite. In 2002, the company was recognized as #156 on Inc Magazine's list of the fastest-growing private companies in America. Privately held and co-founded by industry professionals Corey Steffen and Eric Sink, SourceGear collaborates with various software vendors to enhance its offerings. Eric Sink maintains a weblog that shares insights on software development and business, along with updates about SourceGear's products. Generated from the website