2 search results - page 1 / 1 » TLQSolver: A Temporal Logic Query Checker |
CAV
2003
Springer
14 years 4 months ago
2003
Springer
TIME
2005
IEEE
14 years 4 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...