Companies / A / AdaCore Technologies, Inc.
AdaCore Technologies, Inc.
Manufacturer · New York, NY
About AdaCore Technologies, Inc.
Commercial software tools provider for high-integrity and safety-critical software development. AdaCore develops and sells GNAT Pro (Ada/C/C++/Rust compilation toolchain), SPARK Pro (formal methods and automated program verification), CodeSonar (C/C++ static analysis), GNAT Static Analysis Suite for Ada, GNAT Dynamic Analysis Suite (testing, coverage, fuzzing), and related IDEs and debuggers. Their tools support safety-critical certification standards including DO-178C (avionics), ISO 26262 (automotive), EN 50128 (rail), ECSS (space), and IEC 61508 (industrial). 30+ years supporting embedded systems across avionics, automotive, defense, medical, rail, space, and cybersecurity industries. embedded software development tools compiler toolchain static analysis formal methods safety critical Ada SPARK GNAT C C++ Rust DO-178 ISO 26262 EN 50128 IEC 61508 avionics defense automotive rail space medical
By the Numbers
3E tracks 1 phone, 1 email, 2 websites for AdaCore Technologies, Inc.. Create a free account to unlock contact details.
Brands Carried (5)
Quick Facts
Find suppliers like AdaCore Technologies, Inc.
3E indexes 105,000+ vetted parts suppliers — manufacturers, authorized distributors, brokers, and surplus dealers across electronic, industrial, mechanical, and hard-to-find components. Search by part number, brand, or company name. Every search runs AI deep research that keeps hunting for new sources after you close the tab.