Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution

Mazen Ahmed, Mona Safar. Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution. In 30th International Conference on Microelectronics, ICM 2018, Sousse, Tunisia, December 16-19, 2018. pages 240-243, IEEE, 2018. [doi]

Abstract

Abstract is missing.