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.
提供机构：
Zenodo创建时间：
2025-10-23
