FengXinyu

Local rely-guarantee reasoning

FengXinyu, 2009 .

Progress of concurrent objects with partial methods

FengXinyu, LiangHongjin, 2017 .

Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations

FengXinyu, LiangHongjin, FuMing, 2014 .

Modular verification of concurrent assembly code with dynamic thread creation and termination

FengXinyu, ShaoZhong, 2005 .

A rely-guarantee-based simulation for verifying concurrent program transformations

FengXinyu, LiangHongjin, FuMing, 2012 .