【内容考查】本题考查净室软件工程的核心技术手段。

【选项分析】

A. 增量式开发：虽然是净室软件工程的一个重要技术手段，但不是其核心。

B. 基于函数的规范与设计：这是净室软件工程的一个重要方法，但不被视为核心技术。

C. 正确性验证：这是净室软件工程的核心技术手段。正是由于采用了这一技术，净室项目的软件质量才有了极大的提高。

D. 统计测试和软件认证：虽然是净室软件工程的重要组成部分，但不是其核心技术手段。

正确答案是C. 正确性验证。在净室软件工程中，正确性验证被视为核心技术，它通过严格的数学和逻辑推理来确保软件的正确性，而不是依赖于传统的调试和测试方法。这种方法旨在从源头上预防错误，而不是在开发后期发现和修复错误，从而显著提高了软件质量。