Publikation
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.
@inproceedings{pub12634, author = { Drechsler, Rolf and Mahzoon, Alireza }, title = {One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification}, booktitle = {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}, year = {2022} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023