No full text
Bachelor/master dissertation (Dissertations and theses)
Generation and State-Space Reduction of Program Graphs for Non-deterministic Programs
Steen, Alexander
2013
 

Files


Full Text
No document available.

Send to



Details



Keywords :
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
Degree :
Bachelor in Computer Science (B.Sc.)
Promotor :
Kyas, Marcel
Jury member :
Fehr, Elfriede
Available on ORBilu :
since 02 March 2020

Statistics


Number of views
58 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu