Yu-Ru Cheng

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Automatic verification techniques, which analyze all processes at once, typically do not scale well for large, complex concurrent software systems because of the theoretic barrier - <i>PSPACE</i> complexity in worst case. In this paper, we present our tool named <i>ARCATS</i> (Architecture Refactoring and Compositional Analysis Tool Suite). <i>ARCATS</i>(More)
  • 1