Tool for Translating Simulink Models into Input Language of a Model Checker.

B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy

Browse the full ICFEM paper archive.