Malicious attacks endanger cyber-physical systems to a drastically increasing extent.
Successful attacks intruding on the physical part of the system can cause severe or even …

Smart contracts in blockchains often implement critical functionality; consequently, their
development time software fault detection, removal, and avoidance have been the target of …