Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/edl.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| 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 |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/edl.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT