Updated 12 Aug 2017
This has a presenttaion on testing Safety Critical Control Systems and a brief introduction to Formal Methods
Yogananda Jeppu (2020). Formal Methods – Just Enough (https://github.com/yvjeppu/Safety_Critical_Control), GitHub. Retrieved .
This file was removed earlier. It is now in the GitHub repository.
I have updated the presentation with a simple example. I have worked out this example using theorem proving using the CVC4, Model checking using NuSMV and Simulink Design Verifier, Abstract Interpretation using Polyspace.