[FM-India] Solving Puzzles with Simulink Design Verifier

[Yogananda Jeppu]

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.

http://www.mathworks.com/matlabcentral/fileexchange/55054-solving-ferryman-problem-with-simuink-design-verifier

Yoga