Formal Verification of Flow Equivalence in Desynchronized Designs.

Jennifer Paykin Brian Huffman Daniel M. Zimmerman Peter A. Beerel

Published in: CoRR (2020)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
automated verification
flow patterns
bounded model checking
program slicing
flow field
neural network
artificial intelligence
programming language