Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen. Formal Verification of Lunar Rover Control Software Using UPPAAL. In Cliff B. Jones, Pekka Pihlajasaari, Jun Sun 0001, editors, FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Volume 8442 of Lecture Notes in Computer Science, pages 718-732, Springer, 2014. [doi]
Abstract is missing.