Formal Verification of Counterflow Pipeline Architecture.

Paul Loewenstein

Published in: TPHOLs (1995)

Keyphrases

formal verification
pipeline architecture
model checking
application specific
hardware implementation
model checker
bounded model checking
automated verification
symbolic model checking
neural network
general purpose
program slicing
knowledge representation
temporal logic