Dezhuang Zhang

Learn More
This paper reports on an eeort to integrate two veriica-tion tools, the Concurrency Workbench of the New Century (CWB-NC) and PIOATool. Our aim is to build a single tool that combines the \functional" analysis capabilities of the CWB-NC with the compo-sitional performance-analysis features of PIOATool. We discuss some of the issues involved in the(More)
  • 1