CrocoPat 2.1 Introduction and Reference Manual

Authors:
Beyer, Dirk
Noack, Andreas
Technical Report Identifier: CSD-04-1338
July 2004
CSD-04-1338.pdf

Abstract: CrocoPat is an efficient, powerful and easy-to-use tool for manipulating relations of arbitrary arity, including directed graphs. This manual provides an introduction to and a reference for CrocoPat and its programming language RML. It includes several application examples, in particular from the analysis of structural models of software systems.