Publication

One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification

Rolf Drechsler, Alireza Mahzoon

In: Proceedings of the 24th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI-2022) October 24-25 Hirosaki Japan 2022.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz