The latest ACM Journal has an interesting article on software verification at NASA JPL for the Mars Curiosity Rover at the link provided:
The latest ACM Journal has an interesting article on software verification at NASA JPL for the Mars Curiosity Rover at the link provided:
No public courses are planned at this time.
If you would like to discuss a private, onsite course, please fill out the form below.
Or just email training@softwarecpr.com for more info.