Saturday (Oct 16)
| Room | 8:30-10:00 | 10:30-12:00 | 1:30-3:00 | 3:30-5:00 | Room | ||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bon-Foy | On-Site Registration Registration 1 – Saturday | Bon-Foy | |||||||||||||||||||||||||||||||||||||||||
| Pav-A | PLoP 2010 PLoP - Saturday | Pav-A | |||||||||||||||||||||||||||||||||||||||||
2009 Highlights
Gerard Holzmann discusses Spin, a design analyzer tool, and Scrub, a code review tool, used by Jet Propulsion Laboratory to analyze and fix the software used for critical solar system exploration missions.
Watch the video on InfoQ.
More Highlights
