Master thesis defense on “Development of a Model-based Verification Approach for Reliable Digital Devices”
mohammedhassan2023-10-31T10:18:04+00:00Department of Computer Engineering / College of Engineering at University of Mosul discussed a master’s thesis on “Development of a Model-based Verification Approach for Reliable Digital Devices” for the student (Fayhaa Hmeedy Khlayef), supervised by Assist. Prof. Dr. Shawkat Sabah Khairallah on Monday, Oct 30, 2023. The thesis dealt with designing a digital system at a high level in terms of reliability and making it more dependable. The first direction of this thesis was proving and verifying the safety-critical digital system that is compatible with the safety property, therefore our approach used two formal verification techniques which are the Simulink Design [Read More]