Modular verification of strongly invasive aspects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5533 LNCS, Issue , 2009, Pages 128-147

  Katz, Emilia ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BONUS POINTS; MODEL CHECKER; MODULAR VERIFICATION; PROGRAM CODE; PROGRAM VARIABLES; VERIFICATION METHOD;

LINGUISTICS;

MODEL CHECKING;

EID: 70350679193     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01748-3_9     Document Type: Conference Paper

References (14)

1. Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495-499. Springer, Heidelberg (1999), http://nusmv.itc.it
2. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Djoko Djoko, S., Douence, R., Fradet, P.: Aspects preserving properties. In: Proc. of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantic-Based Program Manipulation (PEPM 2008), pp. 135-145. ACM, New York (2008)
4. Goldman, M., Katz, S.: MAVEN: Modular aspect verification. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 308-322. Springer, Heidelberg (2007)
5. Katz, E., Katz, S.: Verifying scenario-based aspect specifications. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 432-447. Springer, Heidelberg (2005)
6. Katz, E., Katz, S.: Incremental analysis of interference among aspects. In: Proc. of the 7th workshop on Foundations of aspect-oriented languages FOAL 2008, pp. 29-38. ACM, New York (2008)
7. Katz, S.: Aspect categories and classes of temporal properties. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, pp. 106-134. Springer, Heidelberg (2006)
8. Katz, S., Sihman, M.: Aspect validation using model checking. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 373-394. Springer, Heidelberg (2004)
9. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327-353. Springer, Heidelberg (2001), http://aspectj.org
10. Krishnamurthi, S., Fisler, K.: Foundations of incremental aspect model-checking. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(2) (2007)
11. Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient sat solver. In: Proc. of the 38th Design Automation Conference, DAC 2001, pp. 530-535 (2001)
12. Rinard, M., Salcianu, A., Bugrara, S.: A classification system and analysis for aspect-oriented programs. In: Proc. of International Conference on Foundations of Software Engineering, FSE 2004 (2004)
13. Sipma, H.B.: A formal model for cross-cutting modular transition systems. In: Proc. of Foundations of Aspect Languages Workshop, FOAL 2003 (2003)
14. Weston, N., Taiani, F., Rashid, A.: Interaction analysis for fault-tolerance in aspectoriented programming. In: Proc. Workshop on Methods, Models, and Tools for Fault Tolerance, MeMoT 2007, pp. 95-102 (2007)