eThor

MaRDI QIDQ5974215swMATHFDO

Official website https://arxiv.org/abs/2005.06227

Cited in

(5)

• The eye of Horus: spotting and analyzing attacks on ethereum smart contracts
• PrologCheck
• SmartCheck
• Vandal
• Inductive benchmarks for automated reasoning

This page was built for software: eThor