Michael A. Walker; Douglas C. Schmidt; Abhishek Dubey Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, United States
Due to the ever-increasing adaptation of Blockchain technologies in the private, public, and business domains, both the use of Distributed Systems and the increased demand for their reliability has exploded recently, especially with their desired integration with Internet-of-Things devices. This has resulted in a lot of work being done in the fields of distributed system analysis and design, specifically in the areas of blockchain smart contract design and formal verification. However, the focus on formal verification methodologies ...
Get Role of Blockchain Technology in IoT Applications now with O’Reilly online learning.
O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.