AdaCore: Build Software that Matters
Request Pricing

Tools

  • Compilation Toolchain
  • GNAT Pro
  • GNAT Pro for Ada
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • Formal Proof
  • SPARK Pro
  • Static Analysis
  • GNAT Static Analysis for Ada
  • CodeSonar for C/C++
  • Dynamic Analysis
  • GNAT Dynamic Analysis Suite

    • Services

  • Training & Services
  • Enterprise Training
  • Public Training
  • Mentorship

    • Get an Overview

    Explore All Offerings

    Ready To Go?

    Contact a Technical Expert

    Languages

  • Ada
  • C/C++
  • Rust
  • SPARK

    • Ready To Go?

    Contact a Technical Expert

    Industries

  • Avionics
  • Automotive
  • Defense
  • Medical
  • Rail
  • Security
  • Space
    • NVIDIA case study

    Learn how NVIDIA Adopted SPARK for Security-Critical Software Development

    View Case Study

    Company

  • About AdaCore
  • Careers
  • Partners

    • Careers

    View Opportunities

    Explore Resources

  • Publications
  • Papers
  • Books
  • Videos
  • AdaCore Digest
  • More Resources
  • Newsroom
  • Blog
  • Case Studies
  • Events
  • AdaCore's GitHub

    • The AdaCore Blog

    Explore

    Learn Ada & SPARK

    Explore

    Community

  • Academia
  • Download
    • Ada

    Get Started with Ada

    Learn More

    Support

  • GNAT Tracker Login
  • Cybersecurity Center
  • Release Notes
  • Documention
  • Development Logs
    • Fpo main nav bg 02

    Product Roadmap

    Learn More

    Case study background
    Software Improvements

    Software Improvements: Using Ada to Implement a Secure Electronic Voting System

    Screenshot 2023 06 28 at 16 09 07
    Case Study_

    Software Improvements: Using Ada to Implement a Secure Electronic Voting System

    Electronic election systems need to be demonstrably secure in order to ensure the protection of votes, the privacy of voters, and the prevention of interference. That’s why Software Improvements selected the Ada 2012 programming language and AdaCore’s GNAT Pro Ada development environment to upgrade the Australia Capital Territory’s Electronic Voting & Counting System (eVACS®), a public-facing system that demands a high level of security.
    Download
    Proven in Practice_

    Customer success: real results with AdaCore technologies

    Customer

    Software Improvements Pty Ltd offers services that support high-integrity systems and software development.

    Challenge

    To upgrade the Electronic Voting & Counting System (eVACS) software used by the Elections ACT for Legislative Assembly Elections in the Australian Capital Territory and deliver a more secure voting system.

    Solution

    Software Improvements selected Ada 2012 and AdaCore’s GNAT Pro Ada development environment for the eVACS upgrade.

    Results and Benefits

    By using Ada 2012, Software Improvements was able to upgrade the eVACS platform to provide easier setup, voting, and measurement capabilities, as well as to mitigate evolving security vulnerabilities.

    Binary code
    Built for High-Integrity Success_

    Ready to achieve the same results?

    Discover how AdaCore can help you build safe, secure, and high-integrity software tailored to your project’s needs. Speak with our team to explore solutions, pricing, and long-term support options.

    Contact Sales