@进行中{BlanchetCC-SnP22，title=“ProVerify with Lemmas，Inclusion，Fast Subsumption，and Much More”，author=“布鲁诺·布兰切特和文森特·雪娃以及V{\'{e}}ronique Cortier”，年=“2022”，booktitle=“第43届{IEEE}安全与隐私研讨会，2022年5月22日至26日，美国加利福尼亚州旧金山，{SP}2022”，页码=“69--86”，publisher=“｛IEEE｝”，url=“https://www.cs.ox.ac.uk/people/vincent.cheval/publis/BCC-snp22.pdf",doi=“10.1109/SP46214.2022.9833653”，}