Effpi: verified message-passing programs in Dotty

Effpi is an experimental toolkit for strongly-typed concurrent and distributed programming in Dotty (a.k.a. the future Scala 3 programming language), with verification capabilities based on type-level model checking.

The home page of Effpi is: https://alcestes.github.io/effpi

Note: to compile Effpi, JDK 11 is recommended.

Authors

Effpi is developed by:

• Alceste Scalas — DTU Compute, Technical University of Denmark (alcsc (at) dtu (dot) dk)
• Elias Benussi — Faculty Science Ltd. (elias (at) faculty (dot) ai)

The theory behind Effpi is developed in collaboration with:

• Nobuko Yoshida — Imperial College London, UK (n.yoshida (at) imperial (dot) ac (dot) uk)