Title of project placed here
Name of author placed here
School of Computing Science
Sir Alwyn Williams Building
University of Glasgow
G12 8QQ
A dissertation presented in part fulfilment of the requirements of the
Degree of Master of Science at The University of Glasgow
Date of submission placed here
Abstract
abstract goes here
Education Use Consent
I hereby give my permission for this project to be shown to other University of Glasgow students
and to be distributed in an electronic format. Please note that you are under no obligation to sign
this declaration, but doing so would help future students.
Name: Signature:
1
Acknowledgements
acknowledgements go here
2
Contents
1 Introduction 4
1.1 A section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 A subsection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Survey 5
3 Further chapters 6
4 Conclusion 7
A First appendix 8
A.1 Section of first appendix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
B Second appendix 9
3
Chapter 1
Introduction
1.1 A section
1.1.1 A subsection
Please note your proposal need not follow the included section headings – this is only a suggested
structure. Also add subsections etc as required
4
Chapter 2
Survey
5
Chapter 3
Further chapters
6
Chapter 4
Conclusion
7
Appendix A
First appendix
A.1 Section of first appendix
8
Appendix B
Second appendix
9
Bibliography
[1] C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.
10
