Formal Verification of Lunar Rover Control Software Using UPPAAL.

Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen

Browse the full FM paper archive.