EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (290 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA610951
Titel Extending dynamic logic for reasoning about evolving algebras.
Autor Schoenegge, Arno
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Buch
Jahr 1995
Erscheinungsvermerk Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,49.)
The aim of this paper is to provide a logic for reasoning about
evolving algebras. This is done by extending a variant of dynamic
logic with additional program constructs: update of functions,
extension of universes, and simultaneous execution. A calculus for
this extended dynamic logic can be obtained from a sequent calculus
for (not extended) dynamic logic only by adding further rules, but
without modifications of original rules. This gives us reason to hope
that the KIV system (Karlsruhe Interactive Verifier) can be turned
into a tool for reasoning about evolving algebras only by extending
it, i.e. without (substantially) modifying existing code.