December 17: On smart-contracts reliability increasing using symbolic model checking

Shishkin Evgeniy

Shishkin Evgeniy

Shishkin Evgeniy is a leading researcher at InfoTeCS.

The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on December 17th.

Talk’s slides for downloading.

Here is the recording of the Zoom conference:

Leave a Reply