An Overview of the Saturn
Project
A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins and
B. Hackett. Proceedings of the Workshop on Program Analysis for Software Tools
and Engineering (PASTE), pages 43-48, June 2007. San Diego, CA.
The Saturn Program Analysis
System.
A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett, and
P. Hawkins. Stanford University Computer Science Technical Report, December
2006.