Temporal Logic Query Checking: A Tool for Model Exploration.

Arie Gurfinkel Marsha Chechik Benet Devereux

Published in: IEEE Trans. Software Eng. (2003)

Keyphrases

temporal logic
conceptual model
model checking
verification method
domain specific
query evaluation