AdaCore also suports SPARK, a cross between a development environment, a tool set and and an Ada subset, which is even more suitable for safety-critical environment than Ada.
September 28, 2011
featured blogs
Aug 22, 2019
If you missed the first part of this series, you can find it here . So: what does Green Hills propose we do? The issue of 'solving security' is, at its core, impossible'security can never be 100%...
[[ Click on the title to access the full blog on the Cadence Com...
Aug 21, 2019
Many electronics experience a wide range of climates while in operation and storage. Because of this fact, connector humidity testing is used to determine the ability of a product to withstand elevated humidity and cycling temperatures. Humidity testing is conducted in combin...