State explosion in programming languageshttp://blog.ashwinraghav.com/2011/08/26/model-checking-in-software-systems-and-programming-languages/ by ashwinraghav • 15 years ago 2 2 15 years agoBLblog.ashwinraghav.com