diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-23 13:43:58 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-11-23 13:43:58 +0900 |
commit | cf32a3f1cac556281aafa02355fbec106f00edd5 (patch) | |
tree | cc718244fee0f111fbb8fe5588a671ab85245551 /intro.tex | |
parent | 0801e732369519545d0a9d862b71a6c2df8c5adf (diff) | |
download | thesis-cf32a3f1cac556281aafa02355fbec106f00edd5.tar.gz |
Draft the algorithms
Diffstat (limited to 'intro.tex')
-rw-r--r-- | intro.tex | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/intro.tex b/intro.tex index 20697ad..0a41d8f 100644 --- a/intro.tex +++ b/intro.tex @@ -1,2 +1,8 @@ \setcounter{page}{1} \section{Introduction} +TODO: mention symbolic execution\\ +TODO: mention \gls{apr} + +This work's main contributions are:\begin{enumerate} + \item A tool named \textsc{Psychic} +\end{enumerate} |