https://runtimeverification.com/
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the...
runtime verificationblockchain security
https://kframework.org/index.html
Design and implement your programming language and software analysis tools with mathematical rigor.
runtime verificationkinc