单词	model checking
释义	model checking [化] 模型校验
随便看	Brookvale brookvales brookville brookweed brookweeds brookwood brooky Brooloo broom broomall Broom B. broomball broomballer broomballs broom beard grass broom beard grasses broom box broom brush broom closet broom closets broom corn broomcorn broom corn millet broomcorn millet broomcorn millets 福莫长于无祸。福薄灾生福过定生灾福随貌转禹、稷当平世，三过其门而不入。禹之治水，水之道也。禹八年于外，三过其门而不入。禹决江疏河，以为天下兴利，而不能使水西流禹恶旨酒而好善言。禹汤罪己，其兴也勃焉；桀纣罪人，其亡也忽焉耳边风耳郭耳鉴耳针耳锅耳镜耳门耳闻耳际耳音