Publikation

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.

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