Description: CauDEr is a causal-consistent reversible debugger for Erlang. It allows one to explore a concurrent Erlang computation both back and forward, looking for bugs. When going back, one can undo
Concrete artefacts are produced and used for dissemination. These include scientific publications, a repository of use-cases, tutorials, a non-technical article presenting the main achievements of the project, material for tutorials and recorded tutorials. These artefacts will remain available to the general public beyond the duration of the project and promote a continuative and long-term dissemination.
If you are unable to view these files, please log in or register.
Description: The tool provides a novel modular and tunable approach to binary asynchronous subtyping that derives from the application of abstract interpretation, and in particular string relaxation. Developed at: UKENT, GSSI
Description: This tool implements a sound algorithm to check whether a session type is an asynchronous subtype of another. The algorithm is defined in the paper: A Sound Algorithm for Asynchronous
Description: An open-source choreography language for developing correct adaptive distributed systems from a global viewpoint. Developed at: UNIBO Contacts: Ivan Lanese Available at: http://www.cs.unibo.it/projects/jolie/aiocj.html
This tool was presented as the BehAPI Tutorial Day 2023, colocated with DisCoTec. Here, João Mota presented JaTyC, a tool that verifies JAVA code. In particular, the tool statically verifies
This tool was presented as the BehAPI Tutorial Day 2023, colocated with DisCoTec. Here, Emilio Tuosto covered distributed coordination using local-first principles, including a formal model of the Actyx platform
This tool was presented as the BehAPI Tutorial Day 2023, colocated with DisCoTec. Here, Christian Bartolo Burlò presented an approach for testing REST APIs, utilizing session types and an OpenAPI-based
Runtime Monitors observe the execution of a system with the aim of reaching a verdict about it. One property that is expected of monitors is consistent verdict detections; this property