Refreshing provider data...

a16z crypto

Crypto-focused venture fund and research organization supporting blockchain startups through investment, engineering, security research, open-source tools, governance, and infrastructure.

Dashboard

Services

Security (1)

View options

Tag

["Smart contract security", "Symbolic testing", "Formal verification", "Open source"]

Description

Open-source symbolic testing tool for EVM smart contracts that verifies properties expressed as Solidity and Foundry tests.

Plan Type

Free