NASA Software Verification Article

The latest ACM Journal has an interesting article on software verification at NASA JPL for the Mars Curiosity Rover at the link provided:

Mars Code February 2014

Corporate Office

15148 Springview St
Tampa, FL 33624
USA
+1-781-721-2921
Partners located in the US (CA, FL, MA, MN) and Italy.