Ada

Evolving language support in RVS: Libadalang

Learn how we've been using AdaCore's libadalang library to improve the efficiency of our software verification tools for Ada code.
Read More

FAE Diary: A stormy AdaTest integration

Steve Kerr shares his story delivering an RVS integration at a client site during storm Dennis.
Read More

Test your Ada skills with our puzzle

Produced by our software engineer Jack W for the Ada Europe 2019 event, below is a fiendishly tricky Ada code software puzzle.
Read More

Migrating legacy AdaTEST projects

Learn the benefits of upgrading AdaTEST projects to RapiTest.
Read More

Automating test generation with AUTOSAC

Find out how automated test generation from SPARK Ada pre and post-conditions can cut the effort needed to run test projects. 
Read More

Pages