NASA logo

+ Contact NASA

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

    NASA/NIA PVS On-line Class

    We emphasize a hands-on, immersion-style learning approach. Both lecture material and in-class exercises using PVS are featured. As a service to the community, NIA will webcast and record the class for on-demand viewing.

    For the on-line version of the class[*], please note that times are in the US EDT (UTC-4:00) time zone. The number of live connections is limited.

    The PVS Class 2012 lectures, exercises, and solutions are electronically available as compress files (tgz, zip). An ISO image file (370Mb) of a CD containing all the material prepared for this class is also avialable. Browse the content of the CD through the file pvsclass2012/index.html.