Automatic Detection of Unspecified Expression Evaluation in FreeRTOS Programs

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 o...

Full description

Bibliographic Details
Main Author: Khodayari, Shahrzad
Format: Others
Language:English
Published: Uppsala universitet, Institutionen för informationsteknologi 2014
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-228289

Similar Items