@InCollection{zbMATH07120155，作者={黄，赵，李，文超，朱，齐}，标题={弱硬系统的正式验证}，BookTitle={第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克省，加拿大，2019年4月16日至18日}，国际标准图书编号={978-1-4503-6282-5}，页码={197--207}，年份={2019}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3302504.3311811}，关键词={68Q45,68Q60,93C30}，zbMATH={7120155}}