Software and Learning Materials



Logic and model checking

Concurrent and distributed programming

  • DAJ is an interactive tool for studying distributed algorithms.
  • jBACI is a concurrency simulator with an integrated development environment.

Program animation

The Jeliot program animation system was developed in collaboration with Erkki Sutinen of the University of Joensuu, Finland (currently, the University of Eastern Finland). The work by carried out by many graduate students: Niko Myller, Ronit Ben-Bassat Levi, Roman Bednarik, Andres Moreno-Garcia, Gil Ebel.

Java programming