MathWorks includes henceforth two new code verification tools: stakes and opportunities.

Henceforth with Polyspace Code Prover and Polyspace Bug Finder, MathWorks is improved.

Connectikpeople has observed that, available with the company’s Release 2013b also announced today, these products aim to deliver an end-to-end software verification capability for early stage development use, spanning bug-finding, coding rules
checking, and proof of the absence of run-time errors.

According to MathWorks, this capability ensures the robustness of embedded software that must operate at the highest levels of quality and safety.

Connectikpeople may recall that, Polyspace Code Prover is a formal methods-based verification tool which proves code correctness.

This means, engineers responsible for the safety and certification of their code can use Polyspace Code Prover to provably determine where run-time errors will or will not occur. Color-coded, proof-based results simplify verification tasks, resulting in an efficient and high-quality software development process.

Connectikpeople has also discovered that, Polyspace Code Prover takes advantage of the MATLAB platform giving users access to powerful MATLAB features such as robust job distribution to computer clusters, scripting for automation, visualization of results, and report generation for certification. In addition, Polyspace Code Prover incorporates the functionality previously available in the Polyspace Client for C/C++ and the Polyspace Server for C/C++.

Regarding Polyspace Bug Finder , it identifies run-time errors, data flow problems, and other defects in embedded software.

About MathWorks

MathWorks is the leading developer of mathematical computing software. MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design for multidomain dynamic and embedded systems. Engineers and scientists worldwide rely on these product families to accelerate the pace of discovery, innovation, and development in automotive, aerospace, electronics, financial services, biotech-pharmaceutical, and other industries. MathWorks products are also fundamental teaching and research tools in the world’s universities and learning institutions. Founded in 1984, MathWorks employs more than 2800 people in 15 countries, with headquarters in Natick, Massachusetts, USA.