Formal Verification of Flow Equivalence in Desynchronized Designs.

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

Published in: ASYNC (2020)

Keyphrases

formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
program slicing
temporal logic
equivalence relation
flow patterns
web services
image sequences
information flow