SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents
We present a prototype that implements a set of logical rules to prove the satisfiability for a class of specifications on XML documents.Specifications are given by means of constrains built on Boolean XPath patterns.The main goal of this tool is to test whether a given specification is satisfiable or not, and justify the decision showing the execu