swMATH ID: 798
Software Authors: Berghammer, Rudolf; Schmidt, Gunther; Winter, Michael
Description: The RelView-System is an interactive tool for computer-supported manipulation of relations represented as Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed at the Department of Computer Science of the Christian-Albrechts-University of Kiel. This Web-page describes how to get RelView and provides some further information.
Homepage: http://www.informatik.uni-kiel.de/~progsys/relview/
Related Software: Isabelle/HOL; Prover9; Rath; Mace4; Sledgehammer; HOL; Isabelle; TituRel; Haskell; Relation Algebra; Archive Formal Proofs; Coq; Kleene Algebra; Why3; Stone Algebras; Z; Algorithm 97; Ralf; CUDD; Z/EVES
Cited in: 102 Publications
Further Publications: https://www.informatik.uni-kiel.de/~progsys/relview/papers

Citations by Year