Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification.

Andrei Arusoaie Dorel Lucanu

Published in: CoRR (2021)

Keyphrases

case study
symbolic execution
real world
development process
database
database systems
training data
multi agent systems
design process
test set