查看最新文献
订阅
分享
2837发文信息
历年影响因子
历年发表
投稿信息
International Conference on Verification, Model Checking and Abstract Interpretation - 最新文献
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Pub Date : 2024-01-08 DOI: 10.1007/978-3-031-50524-9_5 Nicolas Amat, Silvano Dal-Zilio, Didier Le BotlanSound Symbolic Execution via Abstract Interpretation and its Application to Security
Pub Date : 2023-01-18 DOI: 10.1007/978-3-031-24950-1_13 Ignacio Tiraboschi, Tamara Rezk, Xavier RivalA Pragmatic Approach to Stateful Partial Order Reduction
Pub Date : 2022-11-22 DOI: 10.48550/arXiv.2211.11942 Berk Çirisci, C. Enea, Azadeh Farzan, Suha Orhun Mutluergil
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
