Ethereum Classic Professor Proposes New Way to Debug Smart Contracts

Ethereum Classic Professor Proposes New Way to Debug Smart ContractsEthereum Classic Professor Proposes New Way to Debug Smart Contracts
By Mary Kihoro - February 12, 2019

ETC


Christian Seberino, an Ethereum Classic (ETC) professor, has proposed a new way to debug smart contracts. At the moment, developers use formal verification to debug these contracts but the method gets more complex as the magnitude of the project grows.

Seberino has now proposed a method known as design debugging which he believes can catch deep bugs using very little effort. Companies such as Amazon and Microsoft are already using a similar language known as TLA+.