Vadim Malvone
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Logic×1
Frequent co-authors
Research Timeline
2026
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
The paper introduces KindHML, an automated formal verification approach that uses Hennessy-Milner Logic and the Kind 2 model checker to verify complex temporal properties of smart contracts, detecting vulnerabilities beyond current tools.
Highlighted terms show continued research focus across papers