Visualizing CHC Verification Conditions for Smart Contracts Auditing.

Marco Di Ianni Fabio Fioravanti Giulia Matricardi

Published in: CILC (2024)

Keyphrases

sufficient conditions
model checking
face verification
information systems
database
image sequences
multi agent
mobile devices
interactive visualization
signature verification
formal verification
ubiquitous environments