Essays about: "Shahrzad Khodayari"
Found 1 essay containing the words Shahrzad Khodayari.
-
1. Automatic Detection of Unspecified Expression Evaluation in FreeRTOS Programs
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : Embedded systems are widely used in most electrical devices. They are often complex and safety-critical. Therefore, their reilability is significantlyimportant. AMong many techniques to verify a system, model checking models a system into temporal logic and can be used to assert a desired property on it. READ MORE
Result pages:
1