受强制性开放获取政策约束的文章 - Zsófia Ádám了解详情
可在其他位置公开访问的文章：4 篇
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)
Z Ádám, G Sallai, Á Hajdu
International Conference on Tools and Algorithms for the Construction and …, 2021
强制性开放获取政策： European Commission
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Z Ádám, L Bajczi, M Dobos-Kovács, Á Hajdu, V Molnár
International Conference on Tools and Algorithms for the Construction and …, 2022
强制性开放获取政策： European Commission, National Office for Research, Development and …
C for yourself: comparison of front-end techniques for formal verification
L Bajczi, Z Ádám, V Molnár
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022
强制性开放获取政策： European Commission, National Office for Research, Development and …
Extending the Capabilities of the CEGAR Model Checking Algorithm
Z Ádám, Z Micskei
强制性开放获取政策： National Office for Research, Development and Innovation, Hungary
出版信息和资助信息由计算机程序自动确定