From f823ccc928ae09a63ffef5b6cfe47966e2da1890 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 26 Nov 2012 13:59:29 +1100
Subject: A bunch more writing. Write write write.

---
 tex/thesis/abstract/abstract.tex | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'tex/thesis/abstract/abstract.tex')

diff --git a/tex/thesis/abstract/abstract.tex b/tex/thesis/abstract/abstract.tex
index 4333635..2326f61 100644
--- a/tex/thesis/abstract/abstract.tex
+++ b/tex/thesis/abstract/abstract.tex
@@ -1,5 +1,12 @@
 \chapter*{Abstract}
 
-The abstract goes in here.
-
+In today's increasingly technological world, software bugs can have
+significant consequences. In order to limit the effect of these bugs
+software engineers employ a wide variety of tests, but these are
+insufficient to guarantee that software is bug free.
 
+In this thesis we present an implementation of a game-theoretic static
+analyser described in \cite{EasyChair:117} as a method of finding bugs
+and guaranteeing correctness. We present our own enhancements to
+improve the algorithm's running time and evaluate our improvements on
+a number of benchmarks.
-- 
cgit v1.2.3

