5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Rabimba Karanjai, Sam Blackshear, Lei Xu +1
The growing adoption of formal verification for smart contracts has spurred the development of new verifiable languages like Move. However, the limited availability of training dat…