Skip to main content

11 Tools

  • Chapter
  • 197 Accesses

Part of the Lecture Notes in Computer Science book series (LNCS,volume 2900)

Abstract

This chapter gives an overview of the Casl tools. Analysis tools for Casl like parsers and static checkers, as well as formatters, are stable now and cover the whole of Casl. Proof tools are available but are less mature.

Casl has been designed with the goal of subsuming many previous specification languages. Most of these languages come with specific tools, and of course, these tools should be reusable in the context of Casl. Hence, a central issue is to build bridges to existing tools (rather than building new tools from scratch). Using an interchange format generated by the analysis tools, Casl has been interfaced in this way to rewriting engines and theorem provers, usually working for a subset of Casl.

Naturally, due to the ongoing development of these tools, detailed descriptions would become outdated sooner or later. Therefore, we give here just an appetizer, intended to encourage the reader to install the tools and experiment with them (and to convince her/him that this is rather easy). More detailed descriptions of the tools, as well as their latest versions and other tools that may be developed in the future, are available by following the links on the CoFI tools home page [21]: http://www.cofi.info/Tools.

The analysis tools for Casl have been used to check all the examples contained in this book, as well as the Casl Basic Libraries [20]. Moreover, some proofs from a case study in refinement have been carried out with the proof tools.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-44397-1_11
  • Chapter length: 12 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-44397-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Mossakowski, T. (2004). 11 Tools. In: Bidoit, M., Mosses, P.D. (eds) CASL User Manual. Lecture Notes in Computer Science, vol 2900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44397-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-44397-1_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20766-5

  • Online ISBN: 978-3-540-44397-1

  • eBook Packages: Springer Book Archive