[FM-India] Solving Puzzles with Simulink Design Verifier

Yogananda Jeppu yvjeppu at gmail.com
Sat Jan 23 17:53:53 IST 2016

I have uploaded two files which solve the puzzles using Design Verifier.
This is meant for students and to get their curiosity aroused in formal
methods. I am interested in more such problems. Please contact me if you
have any. They will serve as examples.



More information about the FMIndia mailing list