Formal Methods in Complex System Design - Jamsheed Shorish and Michael Zargham of BlockScience (Ep. 16)
Sign up for free
Listen to this episode and many more. Enjoy the best podcasts on Spreaker!
Download and listen anywhere
Download your favorite episodes and enjoy them, wherever you are! Sign up or log in now to access offline listening.
Description
Part 4 of our 7-part series with the team at BlockScience features a conversation with Senior Research Scientist Jamsheed Shorish and BlockScience Founder and CEO Dr. Michael Zargham. They delve...
show moreDefining “formal methods”
The need for validation and verification
Generalized dynamical systems (GDS)
The application of formal methods in system design
Jamsheed Shorish, Senior Research Scientist at BlockScience
Website: https://block.science
Twitter: https://twitter.com/jshorish
Michael Zargham, Founder and CEO at BlockScience
Website: https://block.science
Twitter: https://twitter.com/mZargham
Eugene Leventhal, Podcast Host and Executive Director of SCRF
Website: https://scrf.io
Twitter: https://twitter.com/bbeats1
If you want to learn more about SCRF, check out:
The Forum: https://www.smartcontractresearch.org/
Discord: https://discord.gg/BPqN5mjzeC
Twitter: https://twitter.com/SCRForum
Information
Author | SCRF |
Organization | SCRF |
Website | - |
Tags |
Copyright 2024 - Spreaker Inc. an iHeartMedia Company