Examples of specifications in TAM'97

  • Built-in types
  • Data structures
  • UNIX file system (work in progress)
  • (based on this thesis)
  • Miscellaneous