Bi-directionally convertible concurrency verification method and system, equipment, and storage medium

The invention discloses a bi-directionally convertible concurrency verification method and system, equipment, and a storage medium. The method comprises the following steps: based on source code API information and document function requirements, integrating an intermediate layer specification of double-branch mapping; automatically mapping the intermediate layer specification into an abstract process model and a source code level verification model respectively, and performing concurrent attribute verification and functional verification; according to conditions of the concurrent attribute verification and functional verification, generating a security verification result with cross-model logic consistency. According to the invention, the intermediate layer specification capable of realizing the double-branch mapping is integrated, formalized representation with centralizing abstraction degree is carried out on the source code specification and requirements, and not only are bottom layer program functions co