Approximate Completed Trace Equivalence of Linear Algebra Transition Systems.

Hao Yang Anping He Zhiwei Zhang Shihan Yang Yang Liu

Published in: BIC-TA (2013)

Keyphrases

linear algebra
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
computer architecture
practical reasoning
image processing
singular value decomposition
reactive systems
radon transform
model checker
data flow
distributed systems
least squares