NASA logo

+ Contact NASA



  • + home
  • + On-line Class
  • + Program
  • + Technical Information
  • + Travel information
  • + Local information
  • + Flyer (pdf)
  • Langley Formal Methods Logo


    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