Technology | 2016.01.28
AdaCore Releases SPARK Pro 16
TOULOUSE, France--(BUSINESS WIRE)--AdaCore announced the latest release of its SPARK Pro integrated development and verification environment, bringing a sound and mathematics-based static analysis technology to software verification
For more information, please visit
http://www.businesswire.com/news/home/20[...]/AdaCore-Releases-SPARK-Pro-16
