Software and Learning Materials

Robotics

Scratch

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.

Java programming

Learning materials in English

Learning materials in Hebrew