\begin{frame}[allowframebreaks]{obseleet}
SMSSpreadsheet is a mobile application that allows users to share spreadsheets
between multiple users. The catch here is that the mobile devices that this application is aimed for
are not the smartphones that everyone has everyday but rather older generation phones,
such as cellphones that were popular when we were in highschool.
\begin{enumerate}

    \item Use Alloy to create a model to verify that synchronization
      between several phones functions correctly. This includes same
      cell edits from different phones.
    
    \item Create a comprehensive test suite to ensure that every and
      all synchronization use case works correctly.

    \item Carry out a user study to ensure that the spreadsheet user
      interface is intuitive and easy to use.
	  
	\item (WATPark) Formal verification using alloy of data 
	  compression techniques for SMS updates

    \item (Synchronicity) Carry out a user study to ensure that the
      visual cues for synchronization is clear to the average user.

\end{enumerate}

\end{frame}
