2 papers
cs.CR2026
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini +1
Smart contracts deployed on blockchains such as Ethereum routinely manage large amounts of assets, making their security critical. Empirical studies show that real-world attacks of…
cs.MA2025
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
Angelo Ferrando, Vadim Malvone
The verification of Multi-Agent Systems (MAS) poses a significant challenge. Various approaches and methodologies exist to address this challenge; however, tools that support them…