-
Concurrent matching logic
Abstract. Matching logic cannot handle concurrency. We introduce concurr...
09/01/2021 ∙ by ShangBei Wang, et al. ∙
0
∙
share
read it
-
From Matching Logic To Parallel Imperative Language Verification
Program verification is to develop the program's proof system, and to pr...
02/08/2021 ∙ by ShangBei Wang, et al. ∙
0
∙
share
read it
