Theorem prover approach to semistructured data design

DOI10.1007/s10703-010-0099-4zbMath1207.68127OpenAlexW2052690664MaRDI QIDQ609020

Jing Sun, Scott Uk-Jin Lee, Lindsay Groves, Gillian Dobbie

Publication date: 30 November 2010

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-010-0099-4

zbMATH Keywords

theorem provingformal specificationautomated verificationPVSORA-SSschema normalizationsemistructured data modeling

Mathematics Subject Classification ID

Uses Software

• PVS
• Lore

Cites Work

• A formal object approach to the design of ZML
• A Brief Overview of PVS
• A first step towardsmodeling semistructured data in hybrid multimodal logic
• Representing and reasoning on XML documents: a description logic approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Theorem prover approach to semistructured data design