“KAVM leverages the K Framework to empower Algorand smart contract developers with property-based testing and formal verification.”
Notes
Parent company is Runtime Verification: https://runtimeverification.com/
![kavm](https://directorydotalgo.xyz/wp-content/uploads/2023/03/kavm.jpg)
“KAVM leverages the K Framework to empower Algorand smart contract developers with property-based testing and formal verification.”
Parent company is Runtime Verification: https://runtimeverification.com/