Praxis High Integrity Systems signs agreement to take SofCheck AdaMagic technology to safety critical markets in the UK and Europe

Praxis High Integrity Systems (Praxis HIS) has signed a software distribution agreement with SofCheck, Inc., an independent provider of software analysis and verification technology. Under the agreement, Praxis HIS will offer SofCheck's AdaMagic technology to clients in the UK and Europe across a range of safety critical markets, including, a erospace and defence, automotive, rail, nuclear, telecommunications and finance.

Rod Chapman, Products Manager at Praxis HIS commented: "AdaMagic is an obvious partner for our SPARK Language and Technology. AdaMagic gives us the ability to use SPARK as a high-level design and specification language while generating readable ANSI C that can be targeted to small devices and machines where SPARK would not normally be considered."

Stephen F. Clairmont, senior vice president, Sales & Strategic Alliances, SofCheck commented: "We were looking for a distribution partner that could not only expand our reach, but that also shared our market focus and dedication to quality. Praxis HIS has earned a reputation as a provider of the highest quality IT consulting and engineering solutions to the safety critical markets that can benefit from SofCheck technology. We are very pleased to be working with them, and anticipate a rewarding relationship."