The key system: Integrating object-oriented design and formal methods

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

Volumn 2306, Issue , 2002, Pages 327-330

  Ahrendt, Wolfgang ^b   Baar, Thomas ^a   Beckert, Bernhard ^a   Giese, Martin ^a   Habermalz, Elmar ^a   Hähnle, Reiner ^b   Menzel, Wolfram ^a   Mostowski, Wojciech ^b   Schmitt, Peter H ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; FORMAL VERIFICATION; SOFTWARE ENGINEERING; VERIFICATION;

DEDUCTIVE VERIFICATION; KEY SYSTEMS; OBJECT ORIENTED DESIGN; SOFTWARE ENGINEERING METHODS;

OBJECT ORIENTED PROGRAMMING;

EID: 84958769694     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_23     Document Type: Conference Paper

References (7)

1. W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hähnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I. P. de Guzmàn, G. Brewka, and L. M. Pereira, editors, Proc. 8th European Workshop on Logics in AI (JELIA), Malaga, Spain, volume 1919 of LNCS, pages 21–36. Springer-Verlag, Oct. 2000.
2. T. Baar. Experiences with the UML/OCL-approach to precise software modeling: A report from practice. In Proc. Net. ObjectDays, Erfurt, Germany, 2000. http://i12www.ira.uka.de/~key/doc/2000/baar00.pdf.gz.
3. B. Beckert. A dynamic logic for the formal verification of Java Card programs. In I. Attali and T. Jensen, editors, Java on Smart Cards: Programming and Security. Revised Papers, Java Card 2000, International Workshop, Cannes, France, LNCS 2041, pages 6–24. Springer-Verlag, 2001.
4. B. Beckert, U. Keller, and P. H. Schmitt. Translating the object constraint language into first-order predicate logic. Submitted to FASE 2002, available from http://i12www.ira.uka.de/~projekt/publicat.htm.
5. D. L. Dill and J. Rushby.: Acceptance of formal methods: Lessons from hardware design. IEEE Computer, 29(4):23–24, Apr. 1996.
6. R. Hähnle and A. Ranta. Connecting OCL with the rest of the world. In J. Whittle, editor, Workshop on Transformations in UML at ETAPS, Genova, Italy, Apr. 2001.
7. Object Modeling Group. Unified Modelling Language Specification, v1.4, Sept. 2001.