Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.

Johannes Eriksson Ralph-Johan Back

Published in: ICFEM (2010)

Keyphrases

theorem proving
theorem prover
programming language
affine transformation
proof planning
neural network
image sequences
multi agent systems
affine invariant
multi agent
first order logic
foreground objects
development environment
object oriented programming
computer programming