Expression and analysis of algorithm via dynamical system

Only "testing" checks the reliability and quality of software systems. Our target is analyzing an algorithm mathematically and supporting to check its bugs automatically. The algorithm should be modeled on equations to be analyzed mathematically. In this paper, we transform the algorithm into the mixed logical dynamical (MLD) system, which can express both discrete and continuous dynamics. As a result, we can analyze the algorithm mathematically, and support to check the bugs.