2 papers
cs.LO2025
A Probabilistic Choreography Language for PRISM
Marco Carbone, Adele Veschetti
We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a ch…
cs.SE2024
SmartML: Towards a Modeling Language for Smart Contracts
Adele Veschetti, Richard Bubel, Reiner Hähnle
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling langu…