TY  - RPRT
TI  - Global Guidance for Local Generalization in Model Checking
AU  - Hari Govind V K
AU  - YuTing Chen
AU  - Sharon Shoham
AU  - Arie Gurfinkel
PY  - 2020
UR  - https://arxiv.org/abs/2005.13301
ID  - 2005.13301
ER  -