Mei-Yoke Lam

Learn More
error prone. It was demonstrated repeatedly, that SMV is a very powerful and efficient specification proofreader. Model checking with SMV has sufficient capacity to analyze complete specifications of real-life directory based cache coherency protocols, within the aggressive time schedule of a computer design project. It helped us find several problems in(More)
  • 1