Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin

Browse the full ICPADS paper archive.