An approach for the automatic verification of blockchain protocols: the Tweetchain case study[J] JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES Raimondo, Mariapia Bernardi, Simona Marrone, Stefano Merseguer, Jose
