Abstract satisfaction

<p>This dissertation shows that satisfiability procedures are abstract interpreters. This insight provides a unified view of program analysis and satisfiability solving and enables technology transfer between the two fields. The framework underlying these developments provides systematic recip...

全面介紹

書目詳細資料
主要作者: Haller, L
其他作者: Kroening, D
格式: Thesis
語言:English
出版: 2013
主題: