Computer-Aided Program Development
Institute of Computer Science
Faculty of Engineering, Christian-Albrechts-University of Kiel
Logo of the Working Group
RelView - How to get

Requirements:

On most systems RelView should start out of the box. If not, take a look at the following software requirements and install them, if necessary. Most of them should be installed by default, except for GMP maybe.

Version 7.2

Currently only compiled packages for sparc based SunOS workstations and x86 based Linux systems are available. This does not mean, that RelView is limited to such systems, but no other systems are available to compile the system on. Nevertheless, there won't be a version for Microsoft(r) Windows(r) available in the near future.

There are some more libraries, which should be not relevant. But if you encounter any missing dependencies, contact stb.

Download RelView 7.2

Version 7.0

The current system can only be used on a SUN-workstation or on an INTEL-based LINUX-system.

Software Requirements (and tested systems):

You can download the system from our FTP-Server. It is located in the directory /pub/kiel/relview. Please have a look at the README file.

 
Rudolf Berghammer - rub@informatik.uni-kiel.de
Last modified: 03-Jul-2009, 13:16:56 MEST