Login / Signup
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine.
Alireza Mahzoon
Rolf Drechsler
Published in:
Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases
</>
formal verification
model checking
complex systems
model checker
automated verification
bounded model checking
program slicing
symbolic model checking
real world
artificial intelligence
reinforcement learning
fuzzy logic
high speed
theorem prover
theorem proving