Towards Polynomial Formal Verification of Complex Arithmetic Circuits.

Rolf Drechsler Alireza Mahzoon Mehran Goli

Published in: DDECS (2022)

Keyphrases

formal verification
model checking
model checker
automated verification
high speed
real world
bounded model checking
complex systems
software engineering
open source