Cartesian Partial-Order Reduction.

Guy Gueta Cormac Flanagan Eran Yahav Mooly Sagiv

Published in: SPIN (2007)

Keyphrases

partial order reduction
model checking
petri net
log polar mapping
neural network
polar coordinates
multiscale
graphical models
real time
preprocessing
high speed
signal processing