Citation: Arno Schönegge, "Extending Dynamic Logic for Reasoning about Evolving Algebras", Technical Report 49/95, Fakultät für Informatik, Universität Karslruhe, 1995.
Summary: EDL, an extension of dynamic logic, is presented, which permits one to directly represent statements about ASMs. Such a logic lays the foundation for extending the KIV (Karlsruhe Interactive Verifier) to reason about ASMs directly.
Subjects: Logic
Download: PostScript, PDF, Compressed PostScript