Report - Computationally Sound Abstraction and Veri cation of ...mohammadi/paper/smpc.pdfdomain-speci c language SMCL is presented in [53]. SMCL supports reactive functionalities as well. Moreover,

Please pass captcha verification before submit form