Formal Verification of Semistructured Data Models in PVS

Download Now
Provided by: Journal of Universal Computer Science
Topic: Big Data
Format: PDF
The rapid growth of the World Wide Web has resulted in a dramatic increase in semi-structured data usage, creating a growing need for effective and efficient utilization of semi-structured data. In order to verify the correctness of semi-structured data design, precise descriptions of the schemas and transformations on the schemas must be established. One effective way to achieve this goal is through formal modeling and automated verification. This paper presents the first step towards this goal.
Download Now

Find By Topic