A hybrid approach to semi-automated Rust verification.

Sacha-Élie Ayoun Xavier Denis Petar Maksimovic Philippa Gardner

Published in: CoRR (2024)

Keyphrases

semi automated
fully automated
model checking
neural network
face verification
real time
data sets
image sequences
signature verification
formal verification
asynchronous circuits
verification method
concurrent systems