Modular verification of strongly invasive aspects: Summary

Proceedings of the 2009 Workshop on Foundations of Aspect-Oriented Languages, FOAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09

Volumn , Issue , 2009, Pages 7-11

  Katz, Emilia ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

aspects; model checking; modularity; specification

Indexed keywords

ASPECTS; MODULAR VERIFICATION; PROGRAM CODE; PROGRAM VARIABLES; VERIFICATION METHOD;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; SOFTWARE DESIGN; SPECIFICATIONS;

MODEL CHECKING;

EID: 72849134099     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1509837.1509840     Document Type: Conference Paper

References (12)

1. A. Cimatti, E.M. Clarke, F. Giunchiglia, and M. Roveri. NUSMV: a new Symbolic Model Verifier. In CAV'99, LNCS 1633, pages 495-499. Springer, 1999. http://nusmv.itc.it.
2. S. Djoko Djoko, R. Douence, and P. Fradet. Aspects preserving properties. In Proc. of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantic-Based Program Manipulation (PEPM'08), pages 135-145. ACM, 2008.
3. M. Goldman and S. Katz. MAVEN: Modular aspect verification. In Proc. of TACAS 2007, volume 4424 of LNCS, pages 308-322, 2007.
4. E. Katz and S. Katz. Verifying scenario-based aspect specifications. In Proc. Formal Methods: International Symposium of Formal Methods Europe (FM'05), volume 3582 of LNCS, pages 432-447. Springer, 2005.
5. E. Katz and S. Katz. Incremental analysis of interference among aspects. In FOAL '08, pages 29-38. ACM, 2008.
6. S. Katz. Aspect categories and classes of temporal properties. Transactions on Aspect Oriented Software Development (TAOSD), 1:106-134, 2006. LNCS 3880.
7. S. Katz and M. Sihman. Aspect validation using model checking. In Proc. of International Symposium on Verification, LNCS 2772, pages 389-411, 2003.
8. S. Krishnamurthi and K. Fisler. Foundations of incremental aspect model-checking. ACM Transactions on Software Engineering and Methodology (TOSEM), 16(2), 2007.
9. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient sat solver. In DAC'01, 2001.
10. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In Proc. of International Conference on Foundations of Software Engineering (FSE04), 2004.
11. H.B. Sipma. A formal model for cross-cutting modular transition systems. In FOAL'03, 2003.
12. N. Weston, F. Taiani, and A. Rashid. Interaction analysis for fault-tolerance in aspect-oriented programming. In MeMoT'07, pages 95-102, 2007.