-
Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development
28 Mar 2024 16:05 GMT
… , transportation, and automotive systems. Specifically, AdaCore builds development and verification tools … .
Leveraging Battery Ventures' investment, AdaCore will enhance its product portfolio …
-
AdaCore Announces the First Qualification of a Rust Compiler
09 Nov 2023 14:55 GMT
… year, in which AdaCore provided instrumental support.
AdaCore has extensive experience … qualification completed successfully by AdaCore. Qualifying a compiler to … requires significant supporting documentation. AdaCore’s lengthy experience with qualification …
-
AdaCore Announces GNAT Pro for Rust
18 Jul 2023 15:37 GMT
… , Chief Product Officer at AdaCore, stated, "Our … adacore.com/gnatpro-rust.
About AdaCore
Founded in 1994, AdaCore … , and financial services. AdaCore has an extensive and growing … industries for further information.
AdaCore products are open source …
-
AdaCore Launches RecordFlux
28 Mar 2023 12:01 GMT
… GNAT Pro Assurance, AdaCore’s complete solution for … ;recordflux.
About AdaCore
Founded in 1994, AdaCore supplies software development … , and financial services. AdaCore has an extensive and … industries for further information.
AdaCore products are open source …
-
Software enables provably secure communication protocols Technology News | March 28, 2023 AdaCore has developed technology to ease the development and security of binary communication protocols and tackle the most common security…
28 Mar 2023 13:37 GMT
… the RecordFlux DSL comes form Adacore’s experience with formal languages … security vulnerabilities,” said Alex Senier, AdaCore’s RecordFlux Team Lead, Lead … Directions and Managing Director at AdaCore GmbH. “Unfortunately, most specification documents …
-
AdaCore Joins Rust Foundation as Silver Member
08 Feb 2023 13:16 GMT
… Simulink® and Stateflow® models. Now, AdaCore is partnering with Ferrous Systems … Language Specification document available here.
“AdaCore is thrilled to join the … programming language.”
About AdaCore
Founded in 1994, AdaCore supplies software development and …
-
AdaCore Collaborates with Synopsys to Offer Ada Static Analysis Solution to Coverity Customers
14 Dec 2022 13:27 GMT
… , Synopsys Software Integrity Group. “The AdaCore static analysis tools will complement … contact us.
About AdaCore
Founded in 1994, AdaCore supplies software development and … , medical devices, and financial services. AdaCore has an extensive and growing …
-
Lynx, AdaCore team on embedded Rust
03 Nov 2022 10:48 GMT
… is teaming up with AdaCore to support developers using … include support for Rust with AdaCore and Ferrous Systems, a … alignment across the missions of AdaCore, Ferrous Systems and Lynx … - and safety-critical systems, AdaCore has a successful history as …
-
AdaCore’s GNAT Pro Assurance Development Environment Reinforces Security Support
15 Mar 2022 12:00 GMT
… Lead of Cybersecurity at AdaCore. “A vulnerability that … you!
About AdaCore
Founded in 1994, AdaCore supplies software development … , and financial services. AdaCore has an extensive and … industries for further information.
AdaCore products are open source …
-
AdaCore Launches GNAT Dynamic Analysis Suite
22 Feb 2022 13:00 GMT
… of Product Engineering at AdaCore. “Our new GNAT … you!
About AdaCore
Founded in 1994, AdaCore supplies software development … , and financial services. AdaCore has an extensive and growing … industries for further information.
AdaCore products are open source …