Template-Based Verification of Array-Manipulating Programs.

Viktor Malík Peter Schrammel Tomás Vojnar

Published in: Taming the Infinities of Concurrency (2024)

Keyphrases

symbolic execution
hardware designs
multiscale
signature verification
decision trees
verification method
computer programs
face verification
functional verification
control program
automatic programming
formal verification
neural network
face recognition
high level
website
information retrieval