GitHub repository: yuleisui/groupmeeting
Description: Software Analysis and Verification Group