> C omputational Logic Group>Software

> Bisimulation Algorithms. Efficient algorithm solution to the problem of determining Bisimulation relations on a finite structure (C++ code, Pascal code). Implemented by A. Dovier, C. Piazza, A. Policriti and N. Ugel.

> Model Checking for Combined Logics. Implementations of two combined model checkers, one for the temporalization of CTL by CTL (C code), the other for the independent combination of CTL and CTL (C code). Implemented by M. Franceschet, M. de Rijke and A. Montanari.

> {log}-language. A Constraint Logic Programming language that embodies the fundamental forms of set designation and a number of primitive operations for set management ({log} Home page). Implemented by A. Dovier, E. Pontelli, E.G. Omodeo, and G. Rossi in collaboration with C. Piazza, A. Policriti, D. Aliffi and P. Bruscoli.