• Correctness
• Generality
• Precision
• Coherence
• Consistency
• Validity
• [Evaluation]
• [Home]