Axo
Our work on accelerating SMT-based program verifiers (with Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, and Markus Püschel) will appear at CAV’25.
Our work on accelerating SMT-based program verifiers (with Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, and Markus Püschel) will appear at CAV’25.