Security (4)
Tag
["Smart contract security", "Mutation testing", "Test-suite quality", "Open source"]["Smart contract security", "Formal verification", "Specification language", "Continuous verification"]
Description
Open-source Solidity mutation-testing tool that generates mutants to measure how effectively tests and formal specifications detect injected faults.Formal verification tool that proves smart contracts satisfy specified properties and reports counterexamples when a property can be violated.Formal verification tool with enterprise security support, including formal verification, expert-authored rules, training, and incident-response services.
Plan Type
FreeEnterprise