- https://www.adacore.com/
- https://www.adacore.com/products
- https://www.adacore.com/industries
- https://www.adacore.com/company
- https://www.adacore.com/news
- https://www.adacore.com/resources
- https://www.adacore.com/community
- https://www.adacore.com/about-ada-archived
- https://www.adacore.com/about-ada-archived/benefits-and-features
- https://www.adacore.com/about-ada-archived/comparison-chart
- https://www.adacore.com/about-ada-archived/model-based-development
- https://www.adacore.com/community/contact
- https://www.adacore.com/academia
- https://www.adacore.com/academia/projects
- https://www.adacore.com/academia/universities
- https://www.adacore.com/mailing-list
- https://www.adacore.com/newsletter/july-december-2017
- https://www.adacore.com/company/about
- https://www.adacore.com/company/careers
- https://www.adacore.com/company/our-customers
- https://www.adacore.com/company/partners
- https://www.adacore.com/company/contact
- https://www.adacore.com/industries/avionics
- https://www.adacore.com/industries/atm
- https://www.adacore.com/industries/space
- https://www.adacore.com/industries/rail
- https://www.adacore.com/industries/automotive
- https://www.adacore.com/industries/defense
- https://www.adacore.com/industries/avionics/d0-178
- https://www.adacore.com/industries/atm/esarr
- https://www.adacore.com/industries/atm/cap670-sw01
- https://www.adacore.com/industries/security/cwe
- https://www.adacore.com/industries/rail/en50128
- https://www.adacore.com/customers/tqa-system
- https://www.adacore.com/gnatpro
- https://www.adacore.com/gnatpro/comparison
- https://www.adacore.com/gnatpro/assurance
- https://www.adacore.com/gnatpro/enterprise
- https://www.adacore.com/gnatpro/developer
- https://www.adacore.com/gnatpro/toolsuite
- https://www.adacore.com/codepeer
- https://www.adacore.com/codepeer/demos
- https://www.adacore.com/sparkpro
- https://www.adacore.com/sparkpro/demos
- https://www.adacore.com/sparkpro/use-cases
- https://www.adacore.com/qgen
- https://www.adacore.com/qgen/demos
- https://www.adacore.com/qgen/debugger
- https://www.adacore.com/qgen/faq
- https://www.adacore.com/services-archived
- https://www.adacore.com/products/certification-materials
- https://www.adacore.com/training/consulting
- https://www.adacore.com/training
- https://www.adacore.com/get-started
- https://www.adacore.com/get-a-quote
- https://www.adacore.com/adacore-tech-days
- https://www.adacore.com/press/code-dx-and-adacore-partner-to-provide-an-ada-application-security-testing-toolsuite
- https://www.adacore.com/press/hex-five-adds-multizone-security-to-the-adacore-software-ecosystem
- https://www.adacore.com/press/adacore-now-a-principal-member-of-the-open-group-face-consortium
- https://saemobilus.sae.org/cybersecurity/news/2019/04/software-security-a-scientific-overview?fbclid=IwAR0PsDR5Czv5cNrbZcFuBp4K7Hi_9pzKhfZhOK-OwuwAbtwmrB5_3sg-gH8
- https://www.adacore.com/press/adacore-announces-winners-for-third-make-with-ada-competition
- https://www.adacore.com/press/adacore-extends-support-for-wind-river-vxworks
- http://mil-embedded.com/news/best-in-show-awards-selected-at-aerospace-tech-week/
- http://www.lembarque.com/conduite-automatisee-certaines-puces-systemes-nvidia-vont-migrer-vers-le-risc-v-et-les-langages-ada-et-spark_008380
- https://www.adacore.com/press/adacore-v19-product-release-expands-platform-coverage-brings-performance-improvements-and-functionality-enhancements
- https://www.eeweb.com/profile/max-maxfield/articles/introducing-risc-v-and-risc-v-tools
- https://blog.adacore.com/rfcs-for-ada-and-spark-evolution-now-on-github
- https://www.adacore.com/webinars/a-misra-c-developers-intro-to-program-proving-in-spark
- https://www.adacore.com/products/languages
- https://www.adacore.com/support
- https://www.adacore.com/products/platforms
- http://blog.adacore.com
- https://learn.adacore.com
- http://makewithada.org
- http://twitter.com/AdaCoreCompany
- https://www.linkedin.com/company/39996
- https://www.youtube.com/user/AdaCore05
- https://github.com/AdaCore
No comments:
Post a Comment