Software verification; Data structures; Formal Methods
Disciplines :
Computer science
Author, co-author :
STEEN, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Generation and State-Space Reduction of Program Graphs for Non-deterministic Programs
Defense date :
31 January 2013
Institution :
FU Berlin - Freie Universität Berlin, Berlin, Germany