Wonmo Hong

  • Citations Per Year
Learn More
An approach to verifying control flow in distributed computer systems (DCS) is presented. The approach is based on control flow checking among software components distributed over processors and cooperating among them. In this approach, control flow behavior of DCS software is modeled and contained in special software components called verifiers. The(More)
  • 1