Nitpick

• Formalizing a Specification for Analysis: The HLA Ownership Properties Craig A. Damon, Ralph Melton, Robert J. Allen, Elizabeth Bigelow, James M. Ivers, David Garlan CMU-CS-99-126.
• Selective Enumeration: A Formal Definition. Craig A. Damon CMU-CS-98-104.
• Isomorph-free Model Enumeration. Daniel Jackson, Somesh Jha and Craig A. Damon ACM Transactions on Programming Languages and Systems, Volume 20, No. 2, March 1998, pp. 302-343.
• Automatic Analysis of Architectural Style. Daniel Jackson. Submitted for Publication.
• Checking Relational Specifications With Binary Decision Diagrams. Craig A. Damon, Somesh Jha and Daniel Jackson. Proc. Foundations of Software Engineering '96.
• Efficient Search as a Means of Executing Specifications. Craig A. Damon and Daniel Jackson. Proc. TACAS '96 March 1996.
• Nitpick: A Checkable Specification Language. Daniel Jackson. Proc. Workshop on Formal Methods in Software Practice, January 1996.
• Faster Checking of Software Specifications By Eliminating Isomorphs. Daniel Jackson, Craig A. Damon and Somesh Jha. Proc. ACM Conf. on Principles of Programming Languages , January 1996.
• Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Daniel Jackson and Craig Damon. Proc. International Symposium on Software Testing and Analysis, San Diego, CA, January 1996.
• Semi-executable Specifications. Daniel Jackson and Craig A. Damon. CMU School of Computer Science Tech Report 95-216, Pittsburgh, PA. November 1995

Back to Nitpick Home Page