File Exchange

image thumbnail

Formal Methods – Just Enough

version (35.6 MB) by Yogananda Jeppu
A brief overview of Formal Methods

1 Download

Updated 12 Aug 2017

GitHub view license on GitHub

This has a presenttaion on testing Safety Critical Control Systems and a brief introduction to Formal Methods

Cite As

Yogananda Jeppu (2020). Formal Methods – Just Enough (, GitHub. Retrieved .

Comments and Ratings (2)



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.

MATLAB Release Compatibility
Created with R2016a
Compatible with any release
Platform Compatibility
Windows macOS Linux
Tags Add Tags