Chapter Six
Testing at scale of IoT blockchain applications
Michael A. Walker; Douglas C. Schmidt; Abhishek Dubey Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, United States
Abstract
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 ...
