Abstract Interpretation Added in Latest PolySpace Developer Edition

4/14/2003 - PolySpace Technologies, worldwide leader in the static verification of embedded software, announces the release of PolySpace Developer Edition, the latest solution from PolySpace, that brings the power of unparalleled Abstract Interpretation techniques to the developer's desktop for finding bugs without testing.

With a fully automatic setup, PolySpace Developer Edition is the first solution that detects runtime errors at compile time, without writing or executing any test. Its unique ability to detect errors at the earliest stage of software development process avoids later discovery of annoying software failures during test campaigns, after code freeze or detected by end users. It is a must-have solution for developers overwhelmed by unproductive debugging tasks and who are looking for substantial test costs reduction and high source code reliability improvement. With PolySpace Developer Edition, bugs that used to require hours - or even days - of debug may now be fixed in a matter of minutes thanks to the precise diagnostics given by PolySpace.

"The release of PolySpace Developer Edition will allow us to address the needs of thousands of developers of embedded systems, an activity sector - and market - that grows extremely quickly. PolySpace Developer Edition is definitively a must-have tool to deal with the increase in applications complexity and an ever shortened time-to-market." said Daniel Pilaud, CEO of PolySpace Technologies.

PolySpace Technologies will be showcasting its latest tools at the Embedded Systems Conference in San Francisco, California, April 23-25, Software Technology Conference, Salt Lake City, Utah, April 29-May 1, and Embedded Systems Show in London, UK, May 14-15.

PolySpace Developer Edition is available on Windows, Linux and Unix Solaris platforms and analyses codes written in C and Ada development languages.

About PolySpace
In the four years following its creation, PolySpace has confirmed its leadership in static verification of embedded software applications. Relying on a highly innovative mathematical approach, PolySpace provides the first software products capable of performing an exhaustive verification of a program's source code and detecting runtime errors at compilation time. In 2002, PolySpace totalled revenues of over 3 million euros having signed some high-ranking companies in the avionics, aerospace, defence, railways, automotive and energy industrial sectors. For further information: www.polyspace.com

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: