Information just for SENS people

•    SMV (CTL-based model checker from CMU)
  • CMU Web page
  • SMV Manual (local copy)
  • SMV examples (to be added later)
  • NT Version (2.5, dated 7/30/2000; zipped file)
  • Unix Version (2.5.4, dated 6/11/2000; gzipped file)

• Meridian Reading List

•    Software Development Foundation: The Software Development Foundation (SDS) is an open architecture designed
  for developing tools for software development. Based on XML, the SDS makes it
  easy for most languages and other systems to incorporate its tools.