Yongwang Zhao

From MaRDI portal
Person:488397

Available identifiers

zbMath Open zhao.yongwangMaRDI QIDQ488397

List of research outcomes





PublicationDate of PublicationType
A parametric rely-guarantee reasoning framework for concurrent reactive systems2024-03-14Paper
A verified specification of TLSF memory management allocator using state monads2024-03-12Paper
Compositional reasoning for shared-variable concurrent programs2021-05-04Paper
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs2020-08-05Paper
Development of global specification for dynamically adaptive software2015-01-26Paper

Research outcomes over time

This page was built for person: Yongwang Zhao

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:488397&oldid=7124789"
Powered by MediaWiki