5/3/2002 - PolySpace Verifier version 1.7 is the latest release of PolySpace's cutting edge tool for the automatic detection of runtime errors at compilation time. Thanks to more and more customers' feedback, PolySpace has improved the capabilities of its Abstract Interpretation based static analysers. Abstract Interpretation techniques, which are already used by many blue chips companies, bridge a new major step in power of analysis for the static detection of software failures and confirm that they will be at the heart of the new generation testing tools.
Previous Page | News by Category | News Search
If you found this page useful, bookmark and share it on: