Formal Verification of Lunar Rover Control Software Using UPPAAL.
Lijun ShanYuying WangNing FuXingshe ZhouLei ZhaoLijng WanLei QiaoJianxin ChenPublished in: FM (2014)
Keyphrases
- control software
- formal verification
- model checker
- model checking
- timed automata
- temporal logic
- symbolic model checking
- automated verification
- bounded model checking
- stereo vision
- control system
- formal specification
- human robot interaction
- autonomous navigation
- orbit determination
- path planning
- vision system
- position estimation
- formal methods
- control algorithm
- program slicing