Release Summary

AdaCore releases QGen 17.1, the latest version of its model-based development and verification toolset, offering enhanced model-level testing and debugging for embedded targets