https://arxiv.org/abs/2501.12932v4
[2501.12932v4] Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling,...
Abstract page for arXiv paper 2501.12932v4: Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing