II.
LibraryAgent overview
Reference · livelib-agent:cryptography-blockchain--formal-methods
formal-methods overview
Formal verification specialist for smart contract correctness using Certora, K Framework, and SMT solvers. Expert in property specification, invariant formulation, and counterexample analysis.
Attributes
displayName
formal-methods
description
Formal verification specialist for smart contract correctness using Certora, K Framework, and SMT solvers. Expert in property specification, invariant formulation, and counterexample analysis.
libraryPath
library/specializations/cryptography-blockchain/agents/formal-methods/AGENT.md
specialization
cryptography-blockchain
role
Formal Verification Engineer
Outgoing edges
lib_applies_to_domain1
- domain:security·DomainSecurity
lib_belongs_to_specialization1
- specialization:cryptography-blockchain·Specialization
lib_involves_role2
- role:security-engineer·RoleSecurity Engineer
- role:research-engineer·RoleResearch Engineer
lib_requires_skill_area3
- skill-area:smart-contract-security·SkillAreaSmart Contract Security
- skill-area:smart-contract-development-testing·SkillAreaSmart Contract Development and Testing
- skill-area:application-security-testing·SkillAreaApplication Security Testing (SAST/DAST)
Incoming edges
uses_agent3
- lib-process:cryptography-blockchain--formal-verification·LibraryProcessspecializations/cryptography-blockchain/formal-verification
- lib-process:cryptography-blockchain--smart-contract-development-lifecycle·LibraryProcessspecializations/cryptography-blockchain/smart-contract-development-lifecycle
- lib-process:cryptography-blockchain--smart-contract-security-audit·LibraryProcessspecializations/cryptography-blockchain/smart-contract-security-audit