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...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter: Haller, L
Andre forfattere: Kroening, D
Format: Thesis
Sprog:English
Udgivet: 2013
Fag:
Search Result 1

Abstract Satisfaction af D'Silva, V, Haller, L, Kroening, D

Udgivet 2014
Conference item