Meetup: Smart Testing of Smart Contracts on Blockchains with Property Based Testing

Smart contracts are one of the most promising applications for Blockchains. Klaus Alfert from Zuhlke Engineering talk will introduce smart contracts and property based testing.

About the Talk
Dealing with smart contracts on a blockchain requires much care, since bugs may easily result in a catastrophic financial loss. Thus, testing is crucial. In our project, we use graphical languages to specify smart contracts. We apply Property Based Testing to effectively and efficiently test the smart contract generation and their behaviour.

Where: TwinsCenter, ul. Nikola Gabrovski 83, 1700 Sofia
When: 20.11.2018 (Tuesday) at 19:00
Language: English

The event is free for all participants.

Free beer, pizza and technical discussions included.

If you have any questions or cannot find us, contact us at +359 877 882 669

• Програма
• Лектори

19:15 Talk by Klaus Alfert

20:00 Discussion / Q&A

20:30 Networking, beer and pizza

(open end)

Klaus Alfert

Dr. Klaus Alfert is Principal Consultant and CTO at Zuhlke Germany. Beside consulting on large scale projects and architectures, he is interested in technology that will have a substantial impact for the future of Zuhlke’s customers, including Blockchain technologies and property based testing.