Blockchain verification and validation: Techniques, challenges, and research directions

As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their...

Harnessing Web 3.0 and R to mitigate simulation validation restrictions

The complexity of modern systems has made the use of simulations paramount, in order to test different scenarios in an affordable, ethical, and risk-free way. As such, simulations need to be validated, ensuring that the obtained results are meaningful. But validation apart from the computational difficulties, bears several other problems. The...

Experiments on the Flow Field and Acoustic Properties of a Mach number 0·75 Turbulent Air Jet at a Low Reynolds Number

In this paper we present the experimental results of a detailed investigation of the flow and acoustic properties of a turbulent jet with Mach number 0·75 and Reynolds number 3·5 103. We describe the methods and experimental procedures followed during the measurements, and subsequently present the flow field and acoustic field. The experiment...