shorted title - which also save some space

main.tex

@@ -45,7 +45,8 @@ tabsize=2
 \include{macros}
 \begin{document}
 \graphicspath{{images/}}
-\title{Leveraging Model Learning and Model Checking to Infer and Verify SSH Implementations}
+\title{Model Learning and Model Checking of SSH Implementations}
+%\title{Leveraging Model Learning and Model Checking to Infer and Verify SSH Implementations}
 \renewcommand{\shorttitle}{Inference and Verification of SSH Implementations}