On June 25th, GeoLink (300520.SZ) stated on the investor interaction platform that the high-trust software independently developed by Guochuang Software mainly includes original software products such as program analysis tools and program verification tools. By statically analyzing and verifying the source code of the program, it achieves intelligent verification of high-trust software. The company will actively promote cooperation with relevant parties in programming language analysis and verification.
科大国创(300520.SZ)：自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品
Guochuang software (300520.SZ): The self-developed, highly-trusted software mainly includes original software products such as program analysis tools and program verification tools.
The translation is provided by third-party software.
The above content is for informational or educational purposes only and does not constitute any investment advice related to Futu. Although we strive to ensure the truthfulness, accuracy, and originality of all such content, we cannot guarantee it.