26th Annual International Computer Software and Applications Conference Specification and Verification of Spatial Data Types with B-Toolkit Oxford, England August 26-August 29 ISBN: 0-7695-1727-7
Spatial data types provide a fundamental abstraction for modelling the geometric structures of objects in space, their relationships, properties and operations. In this work, we present a formal specification and verification of spatial data types with the B-Toolkit. We give a formal specification of a realm and operations over it using Abstract Machine Notations (AMN) of B. We then refine and implement a realm update operator in B, and verify formally an implementation of a realm update operator with B-Toolkit.
Citation:
Kim Yong Chun, Dang Van Hung, "Specification and Verification of Spatial Data Types with B-Toolkit," compsac, pp.711, 26th Annual International Computer Software and Applications Conference, 2002 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||