Add Runtime Verification to audit services

Author: emmanuel-awosika

src/content/developers/docs/smart-contracts/security/index.md

@@ -492,6 +492,8 @@ If you plan on querying an on-chain oracle for asset prices, consider using one
 
 - **[OpenZeppelin](https://www.openzeppelin.com/security-audits)** - _Smart contract security company providing security audits for distributed systems._
 
+- **[Runtime Verification](https://runtimeverification.com/)** - _Security company specializing in formal modeling and verification of smart contracts._
+
 ### Bug bounty platforms {#bug-bounty-platforms}
 
 - **[Immunefi](https://immunefi.com/)** - _Bug bounty platform for smart contracts and DeFi projects, where security researchers review code, disclose vulnerabilities, get paid, and make crypto safer._