Aspect validation using model checking

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

Volumn 2772, Issue , 2004, Pages 373-394

  Katz, Shmuel ^a   Sihman, Marcelo ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS;

JAVA PROGRAM; MODEL CHECKER; PROOF OBLIGATIONS;

MODEL CHECKING;

EID: 35248869753     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (16)

1. http://vwv.aosd.net.
2. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting Object Interactions Using Composition Filters. In ECOOP'93 Workshop on Object-Based Distributed Programming, LNCS 791, pages 152-184, 1994.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
4. J. Hatcliff and M. Dwyer. Using the Bandera tool set to model-check properties of concurrent Java software. In CONCUR 2001, LNCS 2154, pages 39-58, Aug 2001.
5. J. Hatcliff and O. Tkachuk. The Bandera tools for model-checking Java source code: A user's manual. Technical report, Kansas State University, Department of Computing and Information Sciences, March 2001. http://www.cis.ksu.edu/%7Esantos/bandera/tut/tut-html.tar.gz.
6. K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer (STTT), 2(4), Apr 2000.
7. G. J. Holzmann and M. H. Smith. The model checker SPIN. IEEE trans. SE, 23(5):279-295, 1997.
8. R. Iosif and R. Sisto. dSpin: A dynamic extension of Spin. In Proc. of the 6th SPIN Workshop, LNCS 1680, pages 261-276, Sep 1999.
9. S. Katz. A superimposition control construct for distributed systems. ACM Trans. on Programming Languages and Systems, 15(2):337-356, Apr 1993.
10. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of Aspect J. In Proceedings ECOOP 2001, LNCS 2072, pages 327-353, Jun 2001. http://aspectj.org.
11. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings ECOOP'97, LNCS 1241, pages 220-242, Jun 1997.
12. K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic, 1993.
13. A. Pnueli, O. Shtrichman, and M. Siegel. The code validation tool(CVT)) - automatic verification of a compilation process. Software Tools for Technology Transfer, 2:192-201, 1999.
14. Z. Shtadler and O. Grumberg. Network grammars, communication behaviors and automatic verification. In Proc. of the international workshop on Automatic verification methods for finite state systems, pages 151-165. Springer-Verlag, 1990.
15. M. Sihman and S. Katz. Superimposition and aspect-oriented programming. BCS Computer Journal, vol. 46, no.5, 2003. Available at http://www.cs.technion.ac.il/∼katz/cj.ps.
16. P. Tarr, H. Ossher, W. Harrison, and S. M. S. Jr. N degrees of separation: Multi-dimensional separation of concerns. In ACM ICSE'99, pages 107-119, May 1999.