Generating models of infinite-state communication protocols using regular inference with abstraction

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Language identification in the limit

Eric Gold · Information and Control · 1967 · 3.6K citations

Language Studies, Linguistics, Psycholinguistics +2

Learning regular sets from queries and counterexamples

Dana Angluin · Information and Computation · 1987 · 2.1K citations

Computing, Computer Science, Mathematics +10

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2002 · 1.2K citations

Computing, Computer Science, Algorithms +11

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations

Computing, Computer Engineering, Computer Science +13