[FM-India] Mode Transition Logic Table to Matlab and NuSMV

[Yogananda Jeppu]

Mode transitions defined as tables can be easily converted to Matlab and
NuSMV code for use in SDV and NuSMV tool. This is used for formally proving
the correctness of the mode transition. Two examples - one an earlier
autopilot mode transition and another generic table is provided.

https://www.mathworks.com/matlabcentral/fileexchange/54945-exploring-simulink-design-verifier-03

Yoga
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
This
email has been sent from a virus-free computer protected by Avast.
www.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
<#DDB4FAA8-2DD7-40BB-A1B8-4E2AA1F9FDF2>