Webinars/Demos   See All »

  • Building High Assurance Software without Breaking the Bank

    The late computer scientist Edsger Dijkstra once famously said "Program testing can be used to show the presence of bugs, but never to show their absence." This intrinsic drawback has become more acute in recent years, with the need to make software "bullet proof" against increasingly complex requirements and pervasive security attacks. Testing can only go so far. Fortunately, formal program verification offers a practical complement to testing, as it addresses security concerns while keeping the cost of testing at an acceptable level.

    Formal verification has a proven track record in industries where reliability is paramount, and among the available technologies, the SPARK toolset features prominently. It has been used successfully for developing high confidence software in industries including Aerospace, Defense, and Air Traffic Management. SPARK tools can address specific requirements for robustness (absence of run-time errors) and functional correctness (contract-based verification) that are relevant in critical systems, including those that are subject to certification requirements.

    In this webcast, SPARK experts Yannick Moy and Rod Chapman present the current status of the SPARK solution and explain how it can be successfully adopted in your current software development processes.

    Attendees will learn:

    - How to benefit from formal program verification
    - Lessons learned from SPARK projects
    - How to integrate SPARK into existing projects
    - Where to learn about SPARK
    - Why "too hard, too costly, too risky" is a myth

    Presented by Yannick Moy and Rod Chapman
  • GPS Demo

    GPS 6.0 features an improved visual appearance and also an enhanced underlying engine with a number of useful additions. Based on customer feedback, the improvements bring a cleaner interface, more space for editing, and easier accessibility to program-related information. These enhancements are well aligned with GPS’s underlying philosophy: to serve as a customizable platform for multi-language multi-tool integration, usable by developers at all experience levels.

This Week's Ada Gem   See All »

Introducing the AdaCore Blog

We’re pleased to announce the launch of the AdaCore Blog providing an insight into the AdaCore Ecosystem. Continue Reading on Ada Answers »

Jamie Ayre
AdaCore

Video Playlists   See All »