A high confidence software tool chain is launched by companies including Guochuang Software at ACM TURC 2021 in Hefei. [Photo/WeChat account: hefeigaoxinfabu]

The ACM Turing Award Celebration Conference China 2021 (ACM TURC 2021) took place in Hefei from July 31 to Aug 1. Hefei-based IT company Guochuang Software is the event's chief strategic partner.

One of China's top academic events in the computing field, the conference gathered domestic and international experts and professors as well as the ACM Turing Award winners to share their perspectives on the development of artificial intelligence and industrial internet.

During the conference, Guochuang Software held a forum on the research, development and application of high confidence software technologies.

The forum saw the launch of a high confidence software tool chain by Guochuang Software and other companies which aims to provide reliable testing services and promote the commercial application of high confidence software.

Exclusively sponsored by Guochuang Software, the ACM China Awards Ceremony on July 31 awarded young Chinese scholars for their outstanding research in computing.

Located in Hefei National High-tech Industry Development Zone, Guochuang Software does independent research and development of high confidence software technologies based on program analysis and formal verification tools.