| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Christoph Lüth, Markus Roggenbach, Lutz Schröder |
| Herausgeber: |
José Fiadeiro |
| Titel: |
CCC - The CASL Consistency Checker |
| Buch / Sammlungs-Titel: |
Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004) |
| Band: |
3423 |
| Seite(n): |
94 – 105 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2005 |
| Verleger: |
Springer, Berlin |
| Abstract / Kurzbeschreibung: |
We introduce the CASL Consistency Checker (CCC), a tool that
supports consistency proofs in the algebraic specification language
CASL. CCC is a faithful implementation of a previously described
consistency calculus. Its system architecture combines flexibility
with correctness ensured by encapsulation in a type system. CCC
offers tactics, tactical combinators, forward and backward proof,
and a number of specialised static checkers, as well as a connection
to the CASL proof tool HOL-CASL to discharge proof obligations.
We demonstrate the viability of CCC by an extended example taken
from the CASL standard library of basic datatypes.
|
| Internet: |
http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=94 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/ccc.ps |
| Schlagworte: |
Consistency CASL tool support |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
22. 06. 2005 |
