Design and Implementation of Operation Wizard of Concurrent System
Jiang Chang-jun · Jisuanji gongcheng · 2001
This paper introduces the Operation Wizard of the verification system for concurrent program. It shows how we achieved it. Moreover, some problems we met in RD and some technologies we applied are discussed in the paper.