Efficient evaluation for a temporal logic on changing XML documents.

Mikolaj Bojanczyk Diego Figueira

Published in: PODS (2011)

Keyphrases

temporal logic
xml documents
model checking
satisfiability problem
modal logic
model checker
concurrent systems
verification method
search space
xml schema
qualitative reasoning
transition systems
bounded model checking