Runtime Verification with Multi-valued Formula Rewriting.

Lin Zhao Tao Tang Jinzhao Wu Tianhua Xu

Published in: TASE (2010)

Keyphrases

multi valued
truth values
single valued
model checking
multiple valued
valued logic
normal form
boolean functions
complex valued
logic synthesis
computer vision
data model
motion estimation