MODIST: Transparent Model Checking of Unmodified Cloud Systems

Established: March 8, 2014

Publications

Publications by Year

Publications by Research Area

Publications by Type

People

Portrait of Haoxiang Lin

Haoxiang Lin

Principal Researcher