Login / Signup

WoLFram- A Word Level Framework for Formal Verification.

André SülflowUlrich KühneGörschwin FeyDaniel GroßeRolf Drechsler
Published in: IEEE International Workshop on Rapid System Prototyping (2009)
Keyphrases
  • formal verification
  • word level
  • model checking
  • image processing
  • co occurrence
  • character recognition