MOdel-based DEsign & Verification for Safety-Critical Embedded Systems

Funding organizations

This project is funded by NSTIP (National Science Technology, Innovative Plan ), Saudi Arabia under the Technology Area “Information Technology Strategic Priorities” and Track “Software Engineering and Innovated Systems”.

Website: http://www.kacst.edu.sa/en/

We acknowledge the support of KACST (King Abdul aziz City for Science and Technology) and STU (Science and Technology Unit) Makkah (Grantno.13-INF761-10).