NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + LINKS

  • Practicals

    Practicals is a package for programming strategies in PVS with high level tacticals. Practicals enhances the PVS proof language (IF, REPEAT, THEN, TRY, ...) with tacticals for

    Practicals was developed by Florent Kirchner while in residence in the Formal Methods group at the National Institute of Aerospace* (NIA).

    Publications

    The tag [*] identifies links that are outside the NASA domain