\begin{frame}[allowframebreaks]{watpark}
WATPark is looking to organize the world's information. And by that, we mean parking data. And by that, we mean UW Parking Data. And by that, we mean Lot C.
\begin{enumerate}

    \item \textbf{User Testing - Obtaining Specific Parking Data} \\
	Comparing different user interfaces/workflows with the goal of determing which UI allows users to find a specific piece/portion of data the fastest.
    \item \textbf{Data Prediction Algorithms} \\
	There are numerous ways to predict future data (using averages, curve fitting, etc.), and various tests/analysis could be done to determine which algorithm most closely predicts future lot counts.
	\item \textbf{Formal Analysis of Parking Data State Transfer} \\
	Parking data must propagate from the hardware in the parking lot to various web and mobile frontends. This would be a formal analysis of solutions at each level in the process (from the hardware to the server and propagated to the frontends), evaluated on criteria such as performance and data accuracy.
    \item \textbf{Formal Verification of Data updates-obseleet} \\
	Use Spin to model concurrent updates from multiple parking
	lots and verify that server handles all updates correctly.  
    \item \textbf{Eventdex's Idea: SMS Service} \\
	Create a SMS service that allows users to text a parking lot identifier to check the vacancy of the parking lot, making the WatPark service more accessible to users who do not have smartphones.         
         
\end{enumerate}

\end{frame}
