Runtime Verification i a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties, and it has been used to help secure smart contracts.
What is a minimal example of using runtime verification to audit a smart contract?
