Specification and verification for semi-structured data

DOI10.1007/BF02831713zbMath1097.68072OpenAlexW2067242110WikidataQ114693369 ScholiaQ114693369MaRDI QIDQ5291135

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) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Cites Work

• A note on model checking the modal \(\nu\)-calculus
• A calculus of mobile processes. I
• Deciding validity in a spatial logic for trees
• Unnamed Item
• Unnamed Item
• Unnamed Item

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