In Perfect Harmony: Orchestrating Causality in Actor-Based Systems

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
DOI: 10.5281/zenodo.18024087
Cited by: 0

Abstract

ACTORCHESTRA is a runtime verification framework built in Erlang that allows the specification of properties over an Erlang OTP client-server system. WALTZ is the specification language that allows the definition of formal properties that are compiled into Erlang executables that run alongside the system to capture the messages and verify the specified properties.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
5 March 2026