Release Summary

AdaCore, a company offering development and verification tools for reliable, safe, and secure software, today released the latest version of its model-based development and verification toolset, QGen.