LP, the Larch Proof Assistant
- User's Guide: \cite{Garland91,Garland95}
- Distributed LP (DLP): \cite{Vandevooorde96}
\item Beginner's strategy guide: \cite{Taylor90}
\item Extensions: \cite{Vogt90}
\item Use: \cite{Bidoit92,Broy92,Buth92,Chetali92,Choppy92,Scott92,Voisin92}
\nocite{Garland88a,Garland89}
\section*{Proofs using LP}
Ada programs: \cite{Guaspari92}
Analysis of Larch specificaotions: \cite{Guttag93}
\nocite{Garland90b,Garland90c}
Avalon queue example: \cite{Gong89,Wing89,Wing90a}
Circuit examples:
\cite{Chetali92,Garland88c,Mellergaard92,Saxe93,Staunstrup89,Staunstrup92}
\nocite{Saxe92}
Compiler optimizations:
\cite{Vandevoorde92,Vandevoorde93,Vandevoorde94a,Vandevoorde94b}.
Distributed algorithms: \cite{Luchangco94,Petrov96,Sogaard93}
Mathematical Theorems: \cite{Martin90}
\nocite{Lescanne83}
Temporal Logic of Actions: \cite{Engberg92}
\bibliography{larch}
\end{document}