Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs.
Maciej J. CiesielskiPriyank KallaSerkan AskarPublished in: IEEE Trans. Computers (2006)
Keyphrases
- data flow
- canonical representation
- symbolic execution
- database machine
- control flow
- horn theories
- digital signal processing
- object oriented software
- model checking
- object oriented
- face verification
- data transfer
- signature verification
- formal verification
- systolic array
- bottle neck
- verification method
- hand drawn
- software engineering