Yongwang Zhao
From MaRDI portal
Person:488397
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A parametric rely-guarantee reasoning framework for concurrent reactive systems | 2024-03-14 | Paper |
| A verified specification of TLSF memory management allocator using state monads | 2024-03-12 | Paper |
| Compositional reasoning for shared-variable concurrent programs | 2021-05-04 | Paper |
| CSimpl: a rely-guarantee-based framework for verifying concurrent programs Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Development of global specification for dynamically adaptive software Computing | 2015-01-26 | Paper |
Research outcomes over time
This page was built for person: Yongwang Zhao
