{"version":"1.0","type":"link","title":"AdaCore - Newikis","description":"AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C/C++, and Rust. Headquartered in New York City and Paris, the company was founded in 1994 and supplies development and verification tools used in the aerospace, defense,…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}