“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
“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/