[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.

http://in.mathworks.com/matlabcentral/fileexchange/?term=authorid%3A537997

Regards
Yogananda Jeppu


More information about the FMIndia mailing list