1. A method for generating a transition system for use with model checking of data, the method comprising the steps of: generating the transition system from the data; generating an extensible markup language (XML) representation of the data; generating labels for the transition system by querying the XML representation of the data using query language; and using the labels and the structure of the transition system as input to model checking techniques to analyze the data.