A Quick Introduction to Functional Verification of Array-Intensive Programs.

Kunal Banerjee Chandan Karfa

Published in: CoRR (2019)

Keyphrases

functional verification
formal verification
computer programs
general purpose
genetic programming
programming environment
hardware software