Yu-Ru Cheng

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