AdaCore and Altran Praxis Release SPARK Pro 11

New release of imperative programming language boasts increased verification efficiency for high-assurance systems


December 02, 2012
URL:http://www.drdobbs.com/tools/adacore-and-altran-praxis-release-spark/240143008

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.