4 citations · 8 across the 6 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.FL2024
Runtime Verification via Rational Monitor with Imperfect Information
Angelo Ferrando, Vadim Malvone
Trusting software systems, particularly autonomous ones, is challenging. To address this, formal verification techniques can ensure these systems behave as expected. Runtime Verifi…
cs.CR2024★ 4 cited
Solvent: liquidity verification of smart contracts
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini +1
Smart contracts are an attractive target for attackers, as evidenced by a long history of security incidents. A current limitation of smart contract verification tools is that they…
cs.MA2024★ 2 cited
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…