Write Zero-Defect Code: Harnessing the Power of Formal Methods-Based Verification

Overview

Formal methods apply theoretical computer science fundamentals to solve difficult problems in software, such as proving that software will not fail with a run-time error. Formal methods for verification purposes (also known as formal verification) can help improve software reliability and robustness. Achieving Zero-defect software has become a goal for most organizations. This concept revolves around continuously striving for better practices in the development stages of the software to eliminate defects and reduce costs. The applications of formal methods can greatly help us mov towards this vision of Zero-defects. In this webinar learn about the applications of Formal Methods in different development activities like debugging, enforcing hard to understand guidelines, complimenting software testing to achieve robust and reliable software. 

Highlights

In this webinar learn how to achieve Zero-defect software with the application of Formal-Methods in all stages of Software Development Life Cycle such as

• Justifying difficult to understand coding guidelines in the development stage
• Easing debugging of the code at testing stage
• Complimenting validation phase through ensuring code robustness.

About the Presenter

Prashant Mathapati is an Application Engineering Manager at MathWorks India specializing in signal processing and embedded code analysis and verification. He has over ten years of experience at MathWorks. Prior to joining MathWorks, Prashant worked for Trident Infosol and Programming Research as a senior field AE handling products in the signal processing and verification tools domains. He holds a bachelor’s degree in electrical and electronics engineering from Visvesvaraya Technological University (VTU), Karnataka.

Vaishnavi H.R. is an Application Engineer with MathWorks India Private Limited and focuses in the field of Verification & Validation. Prior to joining MathWorks, Vaishnavi has worked with HCL Technologies, Bangalore. Vaishnavi has worked in the V&V projects pertaining to the Aero industry with clients like Rockwell Collins. At MathWorks, Vaishnavi primarily concentrates on the static source code analysis and verification of the embedded code.

Amal K Sebastian works at MathWorks as the Polyspace Product Overlay for all of India. Coming from a techno-commercial background, he has 8+ years of professional experience working with different V&V customers. Amal’s career includes roles as an Application Engineer, Account Manager, and Business Development Manager at National Instruments and AvGarde Systems.  He holds a B.Tech in Electrical & Electronics from College of Engineering Trivandrum and an MBA from IIM Kozhikode.