diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index 7453156..3be15be 100644 Binary files a/pub/dissertation/dissertation.pdf and b/pub/dissertation/dissertation.pdf differ diff --git a/pub/dissertation/dissertation.tex b/pub/dissertation/dissertation.tex index 75e5703..a5b5513 100644 --- a/pub/dissertation/dissertation.tex +++ b/pub/dissertation/dissertation.tex @@ -101,8 +101,10 @@ Word Count: \wordcount} \pagenumbering{roman} \chapter*{Preface} \section*{Abstract} -% TODO -This is an abstract. +This project focuses on testing checklists in flight simulators using formal methods, +whilst gathering statistics from the simulator to provide a result on how well the checklist +performed. This dissertation is revolved around the aims and objectives. Parts how the parts +of the problems in designing checklist, research, and development of the Checklist Tester will be covered. \section*{Declaration} I declare that this dissertation represents my own work except where otherwise stated.