[FM-India] Exploring Design Verifier
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.
More information about the FMIndia