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.
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)