7 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 7 cited
Formal Verification of Solidity contracts in Event-B
Jian Zhu, Kai Hu, Mamoun Filali +2
Smart contracts are the artifact of the blockchain that provide immutable and verifiable specifications of physical transactions. Solidity is a domain-specific programming language…
cs.SE2015★ 1 cited
Real-Time Model Checking Support for AADL
B Berthomieu, J. -P Bodeveix, S Dal Zilio +4
We describe a model-checking toolchain for the behavioral verification of AADL models that takes into account the realtime semantics of the language and that is compatible with the…