Verifica formale
Utilizzo di prove matematicamente rigorose per garantire determinate proprietà di algoritmi crittografici e meccanismi blockchain
Utilizzo di prove matematicamente rigorose per garantire determinate proprietà di algoritmi crittografici e meccanismi blockchain