资 源 简 介
Software Verification is one of the major projects of the Faculty of computer Science and Engineering. The project is on verifying the correctness of the software based on logic, not execute it or use testing. The project is for education and training, offer the tool to help student learn programming.
