Generating Proof Obligation to Verify Object-Z Specification.

Zhicheng Wen Huaikou Miao Hongwei Zeng

Published in: ICSEA (2006)

Keyphrases

provably correct
object tracking
d objects
high level
complex objects
data objects
viewpoint
object model
theorem proving
real time
lighting conditions
spatial relationships
partial occlusion
theorem prover
formal specification
object level
object models
deformable objects