Permission Problem

You don't have permission to do that.

VIDEO: Formal methods and their impact on Distributed Ledger Technologies and beyond

Dr. Leemon Baird explains what 'formal methods' are and how they will be critical for ensuring the quality, security, performance, dependability and more of distributed ledger technologies. These are mathematically based techniques for the specification, development and verification of software and hardware systems to eliminate imprecision and ambiguity.


Sign In or Register to comment.