Experimental Evaluation of Verification and Validation Tools on Martian Rover Software (2003)

by Guillaume Brat , Dimitra Giannakopoulou , Allen Goldberg , Klaus Havelund , Mike Lowry , Corina Pasareanu , Arnaud Venet , Willem Visser , Rich Washington
Venue:Formal Methods in System Design
Citations:14 - 4 self