Advertisement

Das KIV-System als Werkzeug für die formale Programmentwicklung

  • Maritta Heisel
Part of the DUV: Datenverarbeitung book series (DUVD)

Zusammenfassung

In diesem Kapitel beschreiben wir die logische Grundlage der Arbeit und die Programmierumgebung, in die diese Logik eingebettet ist. Dabei handelt es sich um einen taktischen Theorembeweiser, bei dem eine funktionale Metasprache die flexible Ansteuerung eines speziell entwickelten Kalküls der dynamischen Logik erlaubt. Dieser Beweiser wurde im Rahmen eines von der Deutschen Forschungsgemeinschaft geförderten Projektes zur Programmverifikation gemeinsam mit Wolfgang Reif und Werner Stephan entwickelt.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1992

Authors and Affiliations

  • Maritta Heisel

There are no affiliations available

Personalised recommendations