Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia - Artifact

This is the artifact for the paper "Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia", which presents a qualitative survey investigating the application of deductive verification in practice. It contains the data collected in the study, namely the aggregated results from the pre-interview questionnaire and the full codebook that was used for coding the interview data.本数据集为论文《面向实用化演绎验证：来自工业界与学术界的定性调研洞察》（Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia）的配套研究工件。该研究围绕演绎验证（deductive verification）在实际场景中的应用开展定性调研，本数据集包含本次研究收集的全部数据，具体包括访谈前调查问卷的汇总结果，以及用于编码访谈数据的完整编码手册。