CTL model update: Semantics, computations and implementation

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 362-366

  Ding, Yulin ^a   Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL TREE LOGIC; FUNDAMENTAL PRINCIPLES; LOGIC MODELS; MODEL UPDATES; MODELLING SYSTEMS; PRIMITIVE OPERATIONS; SYSTEM DYNAMICS; UPDATE SEMANTICS;

SEMANTICS;

EID: 84886009550     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. C. Baral and Y. Zhang, 'Knowledge updates: semantics and complexity issues', Artificial Intelligence, 164, 209-243, (2005).
2. F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone, 'Enhancing model checking in verification by ai techniques', Artificial Intelligence, 112, 57-104, (1999).
3. A. Cimatti and et al, 'Nusmv: A new symbolic model verifier', in Proceedings of the 11th International Conference on Computer Aided Verification, pp. 495-499, (1999).
4. E. Jr. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, Cambridge, Massachusetts, 2000.
5. P. Gammie and R. van der Meyden, 'Mck-model checking the logic of knowledge', in the Proceedings of the 16th International Conference on Computer Aided Verification, pp. 479-483, (2004).
6. H. Harris and M. Ryan, 'Theoretical foundations of updating systems', in the Prodeedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 291-298, (2003).
7. C. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley Professional, 2003.
8. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000.
9. K. McMillan and N. Amla, 'Automatic abstraction without counterexamples', in Cadence Berkeley Labs, Cadence Design Systems, (2002).
10. J. Wing and M. Vaziri-Farahani, 'A case study in model checking software', in Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, (1995).
11. M. Winslett, Updating Logical Databases, Cambridge University Press, 1990.