Automated Formal Static Analysis and Retrieval of Source Code - JKU

More documents

Recommendations

Info

Eidesstattliche Erklärung Ich erkläre an Eides statt, da ich die vorliegende Diplomarbeit selbständig und ohne fremde Hilfe verfat habe. Ich habe dazu keine weiteren als die angeführten Hilfsmittel benutzt und die aus <strong>and</strong>eren Quellen entnommenen Stellen als solche gekennzeichnet. Linz, July 2008. ......................... Mădălina Eraşcu
Page 1:
J O H A N N E S K E P L E R U N I V
Page 5:
Abstract In this thesis two approac
Page 8 and 9:
viii
Page 10 and 11:
Chapter 1 Introduction From the han
Page 12 and 13:
3 Contributions of the Thesis The s
Page 14 and 15:
Next section starts by describing t
Page 16 and 17:
Chapter 2 Program Verification by S
Page 18 and 19:
2.1. BACKGROUND 9 From the practica
Page 20 and 21:
2.1. BACKGROUND 11 A program is see
Page 22 and 23: 2.2. FORWARD SYMBOLIC EXECUTION IN
Page 28 and 29: 2.3. THE SIMPLIFICATION OF THE VERI
Page 30 and 31: 2.4. IMPLEMENTATION AND EXAMPLES 21
Page 36 and 37: Chapter 3 Code Search Integration F
Page 38 and 39: 3.1. BACKGROUND 29 Figure 3.1: Sour
Page 40 and 41: 3.1. BACKGROUND 31 The programming
Page 42 and 43: 3.2. INTEGRATION OF MINDBREEZE CODE
Page 62 and 63: Chapter 4 Conclusions In this thesi
Page 64 and 65: 55 How the database is used. For ea
Page 66 and 67: Bibliography [***] ***. Mindbreeze
Page 68 and 69: BIBLIOGRAPHY 59 [Hoa69] [How73] [KF
Page 70 and 71: BIBLIOGRAPHY 61 [VHBP00] [Wil94] W.
show all

Automated Formal Static Analysis and Retrieval of Source Code - JKU

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?