Campus Event Calendar
Event Entry
What and Who
Integrierte, deduktive Software-Verifikation
Prof. Dr. Peter H. Schmitt
Institut fuer LKD, Fakultaet fuer Informatik
Universität Karlsruhe
Informatik-Kolloquium
AG 1, AG 2, AG 4
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 11 February 2000
16:00
-- Not specified --
45 - FB14
HS 001
Saarbrücken
Abstract
ammenfassung:
Ausgehend von einer Analyse des bisherigen Standes der
Software-Verifikation wird ein neuer Ansatz vorgestellt, der staerker
eingeht auf die Rahmenbedingungen der Softwareproduktion in der Praxis.
Von besonderer Bedeutung sind hierbei die Methoden, Sprachen und
Werkzeuge, die in der Analyse- und Modellierungsphase-benutzt werden.
Es wird der Ansatz des Karlsruher KeY-Projekt vorgestellt, das sich
konzentriert auf die formale Modellierung und Verifikation
objekt-orientierter Programme.
Nach einer orientierenden Uebersicht wird naeher eingegangen auf
* die Rolle, welche die "Object Constraint Language" in diesem Projekt
spielt
und auf
* die Dynamische Logik, welche in der Verifikationskomponente zum
Einsatz kommt.
InteressentInnen sind zum Vortrag herzlich eingeladen.
Es wird der Ansatz des Karlsruher KeY-Projekt vorgestellt, das sich
konzentriert auf die formale Modellierung und Verifikation
objekt-orientierter Programme.
Nach einer orientierenden Uebersicht wird naeher eingegangen auf
* die Rolle, welche die "Object Constraint Language" in diesem Projekt
spielt
und auf
* die Dynamische Logik, welche in der Verifikationskomponente zum
Einsatz kommt.
InteressentInnen sind zum Vortrag herzlich eingeladen.
Contact
Schaefer
--email hidden
passcode not visible
logged in users only