Academic
Publications
Specification and Verification of Spatial Data Types with B-Toolkit

Specification and Verification of Spatial Data Types with B-Toolkit,10.1109/CMPSAC.2002.1045085,Kim Yong Chun,Dang Van Hung

Specification and Verification of Spatial Data Types with B-Toolkit   (Citations: 4)
BibTex | RIS | RefWorks Download
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 by using abstract machine notations 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.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: