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
Формат: Диссертация
Язык:English
Опубликовано: 2013
Предметы:
Search Result 1

Abstract Satisfaction по D'Silva, V, Haller, L, Kroening, D

Опубликовано 2014
Conference item