@article{Clarke2018, author = "E. M. Clarke and Ofer Strichman", title = "{Advances in counterexample-guided abstraction refinement}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Advances_in_counterexample-guided_abstraction_refinement/6603110", doi = "10.1184/R1/6603110.v1" }