GitHub repository: songyahui/VerifySyncAsync
Primary language: OCaml
Created: 2020-10-19T07:02:13Z
Description: Verification of mixed Synchronous and Asynchronous Programs