Last update: Sun Aug 5 02:03:07 MDT 2018
@Article{Felleisen:2000:CPA, author = "Matthias Felleisen", title = "Components and program analyses", journal = j-SIGSOFT, volume = "25", number = "1", pages = "49--50", month = jan, year = "2000", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/340855.340887", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Wed Aug 1 17:13:50 MDT 2018", bibsource = "http://www.math.utah.edu/pub/tex/bib/sigsoft2000.bib", abstract = "Model checking has been applied quite successfully to hardware verification and shows promise for software verification. The key obstacle is the well-known state explosion problem. This report describes work done by the investigator under NSF support, in particular grants CCR 980-4736 and CCR 941-5496, to ameliorate state explosion.", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/citation.cfm?id=J728", }