Update research label in paper metadata

Changed research label from 'Verification' to 'Simulation'.

Author: pzhang101

content/en/papers/2020-Incremental-Network-Configuration-Verification.md

@@ -5,7 +5,7 @@ type = 'paper'
 layout = 'paper'
 draft = false
 
-research_label = ["Verification"]
+research_label = ["Simulation"]
 bibtex = """@inproceedings{zhang2020incremental,
   title={Incremental network configuration verification},
   author={Zhang, Peng and Huang, Yuhao and Gember-Jacobson, Aaron and Shi, Wenbo and Liu, Xu and Yang, Hongkun and Zuo, Zhiqiang},