[FM-India] Exploring Design Verifier

Yogananda Jeppu yvjeppu at gmail.com
Mon Aug 1 08:40:58 IST 2016

There are four sets of problems now available on the Mathworks website to
explore Simulink Design Verifier in particular and FM in general. There are
a few NuSMV code examples available. I am looking forward to ideas and
examples to give these to engineering students as problem statements.


Yogananda Jeppu

More information about the FMIndia mailing list