Verification of Programs with Common Fragments.

Ivan Postolski Víctor A. Braberman Diego Garbervetsky Sebastián Uchitel

Published in: SIGSOFT FSE Companion (2024)

Keyphrases

symbolic execution
hardware designs
model checking
automatic programming
face verification
information technology
cryptographic protocols
verification method
machine learning
concurrent systems
multiscale
answer sets
real time
knowledge base
high security
java bytecode
neural network