Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures.

Robert A. Riemenschneider

Published in: WICSA (1999)

Keyphrases

provably correct
theorem proving
linear transformation
correctness criterion
geometry theorem proving
databases
neural network
real world
multiscale
theorem prover
linear logic
neural architectures