Login / Signup
Towards Automatic Deductive Verification of C Programs over Linear Arrays.
Dmitry A. Kondratyev
Ilya V. Maryasov
Valery A. Nepomniaschy
Published in:
Ershov Informatics Conference (2019)
Keyphrases
</>
computer programs
symbolic execution
database
object oriented
databases
neural network
artificial intelligence
face verification
programming environment
information retrieval
face recognition
model checking
formal methods