Specification and Verification of Spatial Data Types with B-Toolkit.

Kim Yong Chun Dang Van Hung

Published in: COMPSAC (2002)

Keyphrases

formal verification
spatial data types
protocol specification
model checking
formal methods
asynchronous circuits
spatial database systems
formal specification
closely related
databases
data structure
spatial databases