| Publication type: |
Article in Proceedings |
| Author: |
Markus Roggenbach, Lutz Schröder |
| Editor: |
Maura Cerioli, Gianna Reggio |
| Title: |
Towards Trustworthy Specifications I: Consistency Checks |
| Book / Collection title: |
Recent Trends in Algebraic Specification Techniques, 15th International Workshop, WADT 2001 |
| Volume: |
2267 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2001 |
| Publisher: |
Springer, Berlin |
| Abstract: |
As the first of two methodological devices aimed at increasing the trust in the `correctness' of a specification, we develop a calculus for proving consistency of CASL specifications. It turns out to be possible to delegate large parts of the proof load to syntactical criteria by structuring consistency proofs along the given specification structure, so that only in rather few remaining focus points, actual theorem proving is required. The practical usability of the resulting calculus is demonstrated by extensive examples taken from the CASL library of basic data types.
|
| Internet: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2267&spage=305 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~lschrode/consistency.ps |
| Keywords: |
CASL consistency structured specifications |
| Status: |
Reviewed |
| Last updated: |
22. 06. 2005 |
