αSPIN: Extending SPIN with abstraction

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

Volumn 2318 LNCS, Issue , 2002, Pages 254-257

  Del Mar Gallardo, María ^a   Martínez, Jesús ^a   Merino, Pedro ^a   Pimentel, Ernesto ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84893578727     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46017-9_24     Document Type: Conference Paper

References (12)

1. E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. ACM Trans. on Programming Languages and Systems, 16(5):1512-1245, 1994.
2. M. Dwyer, J. Hatcliff, R. Joehanes, S. Laubach, C. Pasareau, W. Visser, H. Zheng. Tool-supported Program Abstraction for Finite-state Verification. Proc. Int. Conf. on Software Engineering, ICSE 2001, 2001.
3. D. Dams, R. Gerth, and O. Grumberg. Abstract interpretation of reactive systems. ACM Transactions on Programming Languages and Systems, 19(2):253-291, 1997.
4. M.M. Gallardo and P. Merino. A framework for automatic construction of abstract promela models. Theoretical and Practical Aspects of spin Model Checking, LNCS-1680:184-199, 1999.
5. M.M. Gallardo and P. Merino. A practical method to integrate abstractions into SDL and MSC based tools. In Proc. of the 5th Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems, GMD Report 91, pages 84-89, 2000.
6. M.M. Gallardo, J. Martinez, P. Merino and E. Rosales, Using XML to implement Abstraction for Model Checking. In Proc. of ACM Symposium on Applied Computing, 2002.
7. M.M. Gallardo, P. Merino, and E. Pimentel. Abstract satisfiability of linear temporal logic. In Proc. of I Jornadas sobre Programacion y Lenguajes, pages 163-178, 2001.
8. M.M. Gallardo, J. Martinez, P. Merino and E. Pimentel. αspin project. University of Málaga. http:\\www.lcc.uma.es\~gisum\fmse\tools.
9. Havelund K., Pressburger T., Model Checking Java Programs using Java Path Finder. Software Tools for Technology Transfer (STTT) 2(4):366-381, 2000.
10. G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-295, 1997.
11. G. J. Holzmann and M. H. Smith. A Practical Method for the Verification of Event Driven Systems. In Proc. Int. Conf. on Software Engineering, ICSE99, pages 597-608, 1999.
12. W3Consortium. Extensible Markup Language (XML) 1.0 (Second Edition), http://www.w3.org/XML/, 2000.