Wat is de betekenis van Formal verification?

2025-07-16
Blockchain woordenboek

Redactie Ensie (2021)

Formal verification

formal verification is software om smart contracts te analyseren op fouten in de logica en de cryptografie van de blockchain technology te verifiëren.