Specification and verification for semi-structured data

DOI10.1007/BF02831713MaRDI QIDQ5291135zbMATH OpenOpenAlexWikidataFDO

Authors Taolue Chen, Tingting Han, Jian Lu

Publication date 9 May 2006

Published in Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02831713

zbMATH Keywords

model checking algorithm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2219131
• TQL: a query language for semistructured data based on the ambient logic
• scientific article; zbMATH DE number 1692931
• scientific article; zbMATH DE number 2089472
• PDL for structured data: a graph-calculus approach

Cites work

• A calculus of mobile processes. I
• A note on model checking the modal \(\nu\)-calculus
• Deciding validity in a spatial logic for trees
• scientific article; zbMATH DE number 1956515 (Why is no real title available?)
• scientific article; zbMATH DE number 1841829 (Why is no real title available?)
• scientific article; zbMATH DE number 2242579 (Why is no real title available?)

Cited in

(7)

• Semantic specification and verification of data flow diagrams
• Manipulating trees with hidden labels
• scientific article; zbMATH DE number 1956515 (Why is no real title available?)
• scientific article; zbMATH DE number 2219131 (Why is no real title available?)
• scientific article; zbMATH DE number 2241906 (Why is no real title available?)
• Theorem prover approach to semistructured data design
• Proving semantical equivalence of data specifications

This page was built for publication: Specification and verification for semi-structured data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5291135)