www.adacore.com Open in urlscan Pro
104.131.20.101  Public Scan

Form analysis
2 forms found in the DOM

POST https://gt3-prod.adacore.com

<form action="https://gt3-prod.adacore.com" id="gtlogin" class="clearfix" method="post">
  <fieldset>
    <div class="field">
      <input class="text" id="email" name="email" placeholder="Email Address" type="text" value="">
    </div>
    <div class="field">
      <input class="text" id="password" name="password" placeholder="Password" type="password" value="">
    </div><input type="hidden" name="login_url" value="https://www.adacore.com/login"><a href="/login/forgot-pwd/" class="forgot">Forgot your password?</a><input type="submit" value="Login">
  </fieldset>
</form>

https://www.adacore.com/search/results

<form action="https://www.adacore.com/search/results">
  <input type="search" name="q" placeholder="Search">
</form>

Text Content

skip to main content
AdaCore AdaCore
 * Products
   * Overview
   * GNAT Pro
     * Overview
     * Assurance
     * Enterprise
     * Comparison
     * Toolsuite
   * CodePeer
     * Overview
     * Demos
   * SPARK Pro
     * Overview
     * Demos
     * Use Cases
   * QGen
     * Overview
     * Demos
     * Debugger
     * FAQ
   * GNATcoverage
   * Support
   * Pricing
   * Terms and Conditions
   * Languages
 * Services
   * Overview
   * Mentorship
   * Training
   * Consulting
 * Industries
   * Overview
   * Domains
     * Avionics
     * ATM
     * Space
     * Rail
     * Automotive
     * Defense
     * Security
     * Medical
   * Projects
   * Standards
     * DO-178
     * ESARR
     * CAP670-SWO1
     * CWE
     * EN 50128
     * FACE
     * ISO 26262
     * IEC 61508
 * Company
   * Overview
   * About AdaCore
   * Press Releases
   * Events
   * Executive Team
   * Careers
   * Our Customers
   * Partners
   * Contact Us
   * Legal
   * Privacy Policy
 * Resources
   * Overview
   * Books
   * Tech Papers
   * Articles
   * Documentation
   * Videos
   * Dev Log
   * Ada Gems
   * Newsletter
   * Learn.adacore.com
 * Community
   * Overview
   * Download
   * Academia
     * Overview
     * Projects
     * Universities
     * Register
     * Login
   * About Ada
   * About SPARK
   * Contact

Login to GNAT Tracker


Forgot your password?

GT Login Request Pricing
 * 
 * 
 * 

PrevNext
1
2
3

PRESS CENTER

navigateup
navigatedown
 * Major European Aerospace Company Chooses GNAT Pro Ada Targeted to Wind
   River’s VxWorks 6.x Cert RTOS on PowerPC
 * IHI Corporation chooses AdaCore’s QGen model-based engineering toolsuite to
   develop autonomous factory truck system software
 * Collins Aerospace Selects AdaCore’s QGen Code Generator to Streamline
   Model-Based Development
 * AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems
 * AdaCore Announces Winners of Fifth Annual “Make with Ada” Competition
 * AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of
   Componolit GmbH
 * Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control
   System Firmware
 * Security and Defence Contractor QinetiQ Selects AdaCore’s Mentorship Service
   to Upgrade to the Latest Version of the SPARK Technology
 * AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization
   Platform
 * Hitachi Rail STS France Chooses AdaCore Software Development Environment for
   its New Rail Platform
 * Major European Aerospace Company Chooses GNAT Pro Ada Targeted to Wind
   River’s VxWorks 6.x Cert RTOS on PowerPC
 * IHI Corporation chooses AdaCore’s QGen model-based engineering toolsuite to
   develop autonomous factory truck system software



QUICKLINKS

About AdaCore

Learn about our long history of helping developers build software that matters

Try Ada Now

Learn about the different versions of GNAT and get started with Ada

Request Pricing
Request pricing or an evaluation for any of our products

THE LATEST

Press Release


IHI CORPORATION CHOOSES ADACORE’S QGEN MODEL-BASED ENGINEERING TOOLSUITE TO
DEVELOP AUTONOMOUS FACTORY TRUCK SYSTEM SOFTWARE

Read the press release »
Blog


ENHANCING THE SECURITY OF A TCP STACK WITH SPARK

Read the blog post »
Video


ADACORE PRODUCT UPDATE

AdaCore technical staff presents the latest news about the company's current and
planned product offerings.

See the Demos »


HELPING PEOPLE BUILD SOFTWARE THAT MATTERS


AT ADACORE OUR MISSION IS TO PROVIDE THE BEST TOOLS, SERVICES AND EXPERTISE TO
DEVELOPERS WHO WANT TO BUILD SAFE AND RELIABLE SOFTWARE.  LEARN MORE ABOUT
ADACORE »

code Created with Sketch.


CODE DEVELOPMENT

The GNAT Pro product line offers a comprehensive toolset for Ada C, and C++.
Different versions of the product — GNAT Pro Assurance and GNAT Pro Enterprise —
support a wide range of project sizes and needs.

loupe Created with Sketch.


STATIC ANALYSIS & TESTING

Use CodePeer to detect logic errors and vulnerabilities both during development
of new code and retrospectively on existing codebases. Or tap into formal
methods, test case generators; and source and object code coverage analyzers.

model Created with Sketch.


MODEL-BASED ENGINEERING

Reduce development and verification effort through QGen, a qualifiable and
customizable code generator and model verifier for a safe subset of Simulink®
and Stateflow® models. QGen generates source code in SPARK or MISRA C.

certBadge Created with Sketch.


FORMAL VERIFICATION

With the SPARK Pro integrated static analysis toolsuite you can verify
high-integrity software through formal methods, proving properties such as
absence of run-time errors.

notebook Created with Sketch.


CERTIFICATION & QUALIFICATION

Our qualifiable tools and high-integrity run-time libraries support software
standards such as DO-178B/C, EN 50128 and ECSS-E-ST-40C / ECSS-Q-ST-80C.

user Created with Sketch.


TRAINING & CONSULTING

Experience has shown that Ada is an extremely learnable language and that
programmers with basic knowledge in other languages can quickly get up to speed
with Ada.


UNRIVALED LANGUAGE AND PLATFORM SUPPORT FOR HIGH-INTEGRITY DEVELOPMENT


LANGUAGES

We provide tools and support for the primary languages used in high-integrity
development.





Read about AdaCore's Language Support »






PLATFORMS

We can assist our customers through hardware and OS evolution, facilitating code
portability across an extremely wide range of platforms.





View our Supported Platforms »






TRIED AND TESTED IN THE MOST DEMANDING INDUSTRIES

AdaCore's products have a proven track record in helping customers develop and
verify high-assurance software across domains such as avionics, air traffic
management/control, railway systems, space, and automotive.



Read our Industry Case Studies »


GET STARTED WITH ADA

Learn about the GNAT development environment and how to get started »


REQUEST PRICING

Help us understand your development needs and request pricing or an evaluation »

 * Products
 * GNAT Pro
 * CodePeer
 * SPARK Pro
 * QGen
 * GNATcoverage
 * Services
 * Support

 * Industries
 * Automotive
 * Avionics
 * Rail
 * Air Traffic
 * Space
 * Defense
 * Security

 * Resources
 * Books
 * Tech Papers
 * Documentation
 * Videos
 * Devlog

 * Company
 * About AdaCore
 * Careers
 * Contact

 * Customer Support
 * Login to GNAT Tracker
 * Expert Support
 * Contact Us
 * Pricing

 * News
 * Press Releases
 * Articles
 * Events
 * Inside AdaCore

 * Community
 * Download
 * Getting Started
 * About Ada
 * About SPARK

 * Academia
 * Overview
 * Projects
 * Universities
 * GAP Login

 * Other AdaCore Sites
 * The AdaCore Blog
 * Learn.adacore.com
 * Make with Ada

Twitter LinkedIn YouTube GitHub RSS
Copyright © 2022 AdaCore. All rights reserved.   Legal   |  Privacy Policy  
|  Code of Conduct
Got it!
This website uses cookies to ensure you get the best experience on our website.
I want to know more Cookie Info Script