The latest ACM Journal has an interesting article on software verification at NASA JPL for the Mars Curiosity Rover at the link provided:
QSS Software Validation
Planned Instructors: Brian Pate, John Murray
Location: Boston, MA, USA
Dates: June 2-4, 2020
Receive $300 discount with Premium-Individual subscription purchase (or $333 per person for Premium-Company subscription)!
Multi-Student Discounts as well!
to receive discount