XML Static Analyzer User Manual

Date
Authors
Geneves, Pierre
Layaida, Nabil
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
This document describes how to use the XML static analyzer in practice. It provides informal documentation for using the XML reasoning solver implementation. The solver allows automated verification of properties that are expressed as logical formulas over trees. A logical formula may for instance express structural constraints or navigation properties (like e.g. path existence and node selection) in finite trees. Logical formulas can be expressed using the syntax of XPath expressions, DTD, XML Schemas, and Relax NG definitions.
Keywords
Computer Science - Programming Languages, Computer Science - Databases, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, D.3.0, D.3.1, D.3.4, E.1, F.3.1, F.3.2, F.4.1, F.4.3, H.2.3, I.2.4, I.7.2
Citation
Collections