Essays about: "Shahrzad Khodayari"

Found 1 essay containing the words Shahrzad Khodayari.

  1. 1. Automatic Detection of Unspecified Expression Evaluation in FreeRTOS Programs

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Shahrzad Khodayari; [2014]
    Keywords : ;

    Abstract : 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