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
    • Services
      • Overview
      • Mentorship
      • Training
      • Consulting
    • Support
    • Pricing
    • Languages
  • 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
    • Careers
    • Our Customers
    • Partners
    • Executive Team
    • Contact Us
    • Legal
    • Privacy Policy
  • News
    • Overview
    • Press Releases
    • In the Press
    • Events
    • Newsletter
  • Resources
    • Overview
    • Books
    • Tech Papers
    • Documentation
    • Videos
    • Dev Log
    • Ada Gems
    • 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
Overview Books Tech Papers Documentation Videos Dev Log Ada Gems

Verifying Software: Testing and Static Analysis

Read the article on Electronic Design »

Posted on: 11/5/2014

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
  • 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
  • AdaCore in the Press
  • 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 © 2021 AdaCore. All rights reserved.   Legal   |  Privacy Policy   |  Code of Conduct