Program
Class Dates: October 9 (Tuesday) - 12 (Friday)
Class Location: National Institute of Aerospace, Hampton, VA
| DAY 1 • Tuesday • October 9 | |||
| Time | Lecture | Instructor | |
|---|---|---|---|
| 8:30 | 8:50 | Meet and Greet | |
| 8:50 | 9:00 | Opening Remarks | |
| 9:00 | 9:45 | Introduction to Formal Methods | Rick Butler |
| 9:45 | 10:15 | PVS in a Hurry | Anthony Narkawicz |
| 10:15 | 10:20 | Break | |
| 10:20 | 11:05 | Exercise Set 1 | |
| 11:05 | 11:50 | Types and Declarations | Ben Di Vito |
| 11:50 | 1:20 | Lunch | |
| 1:20 | 2:05 | Expression Language | Ben Di Vito |
| 2:05 | 2:10 | Break | |
| 2:10 | 3:10 | Exercise Set 2 | |
| 3:10 | 3:55 | Propositional Logic Proving | Ben Di Vito |
| 3:55 | 4:00 | Break | |
| 4:00 | 5:00 | Exercise Set 3 | |
NASA Official: César Muñoz
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
Last Updated:
May 14, 2012
