research and development base for system credibility automatic verification in China. The lab is composed of three R&D platforms for logic specification, automated reasoning, system credibility automatic verification, and has developed the international advanced and controllable system credibility automatic verification technology and tools.
Contact Us:
Tel: +86 28 66366294
Fax: +86 28 66366272
E-mail: jdk@swjtu.cn
Address: Xipu Campus, Southwest Jiaotong University, West High-tech Zone, Chengdu, China
中文版
