Deterministic CTL query solving

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2005, Pages 156-165

  Samer, Marko ^a   Veith, Helmut ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; MODEL CHECKING; SPECIFICATIONS;

PLACEHOLDERS; SUB-QUERIES; SUBFORMULAS; SYMBOLIC ALGORITHMS; SYSTEM STATE; TEMPORAL LOGIC SPECIFICATIONS; TEMPORAL PROPERTY;

TEMPORAL LOGIC;

EID: 66749118378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2005.20     Document Type: Conference Paper

References (10)

1. G. Bruns and P. Godefroid. Temporal logic query checking. In Proc. of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 409-417. IEEE Computer Society, 2001.
2. W. Chan. Temporal-logic queries. In Proc. of the 12th International Conference on Computer Aided Verification (CAV), volume 1855 of LNCS, pages 450-463. Springer-Verlag, 2000.
3. M. Chechik and A. Gurfinkel. TLQSolver: A temporal logic query checker. In Proc. of the 15th International Conference on Computer Aided Verification (CAV), volume 2725 of LNCS, pages 210-214. Springer-Verlag, 2003.
4. A. Gurfinkel, M. Chechik, and B. Devereux. Temporal logic query checking: A tool for model exploration. IEEE Transactions on Software Engineering (TSE), 29(10):898-914, 2003.
5. A. Gurfinkel, B. Devereux, and M. Chechik. Model exploration with temporal logic query checking. In Proc. of the 10th ACM Symposium on Foundations of Software Engineering (FSE), pages 139-148. ACM, 2002.
6. M. Samer. Temporal logic queries in model checking. Master's thesis, TU Vienna, May 2002.
7. M. Samer. Reasoning about Specifications in Model Checking. PhD thesis, TU Vienna, Sept. 2004.
8. M. Samer and H. Veith. Validity of CTL queries revisited. In Proc. of the 12th Annual Conference of the European Association for Computer Science Logic (CSL), volume 2803 of LNCS, pages 470-483. Springer-Verlag, 2003.
9. M. Samer and H. Veith. Parameterized vacuity. In Proc. of the 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD), volume 3312 of LNCS, pages 322-336. Springer-Verlag, 2004.
10. M. Samer and H. Veith. A syntactic characterization of distributive LTL queries. In Proc. of the 31st International Colloquium on Automata, Languages and Programming (ICALP), volume 3142 of LNCS, pages 1099-1110. Springer-Verlag, 2004.