Some Publications About Nitpick and Ladybug
For more information, contact
Formalizing a Specification for Analysis:
The HLA Ownership Properties
Craig A. Damon, Ralph Melton, Robert J. Allen,
Elizabeth Bigelow, James M. Ivers, David Garlan
Selective Enumeration: A Formal Definition.
Craig A. Damon
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.
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
Nitpick: A Checkable Specification Language.
Proc. Workshop on Formal Methods in Software Practice,
Faster Checking of Software Specifications By Eliminating Isomorphs.
Daniel Jackson, Craig A. Damon and Somesh Jha.
Proc. ACM Conf. on Principles of Programming Languages ,
Elements of Style: Analyzing a Software Design Feature with a Counterexample
Daniel Jackson and Craig Damon.
Proc. International Symposium on Software Testing and
Analysis, San Diego, CA, January 1996.
Daniel Jackson and Craig A. Damon.
CMU School of Computer Science Tech Report 95-216, Pittsburgh, PA.
Back to Nitpick Home Page