Tutorial 1 on Direct Verification of IEC 61499 systems using NuSMV
Date:
This Tutorial is intended to show you how the processes of modelling and verification can be merged. During the previous lectures, you heard that one of the main challenges of the application of model checking in the real world is the necessity of formal model inference and maintenance. Here, step by step, we automate the model inference and verification process for a system created in NxtStudio.
Document link : https://docs.google.com/document/d/1GjdTkaojLEsRFOS1LPIjdSF7h2rBHIGRoRqjnm6v9A8/edit?usp=sharing
Tools Directory : https://drive.google.com/drive/folders/169ZIQluEeVVN6oxPnif1LwwnfGYli0y3?usp=sharing