Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin. Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. In 25th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2019, Tianjin, China, December 4-6, 2019. pages 844-851, IEEE, 2019. [doi]
Abstract is missing.