Mariposa: Measuring SMT Instability in Automated Program Verification.

Yi Zhou Jay Bosamiya Yoshiki Takashima Jessica Li Marijn Heule Bryan Parno

Published in: FMCAD (2023)

Keyphrases

semi automated
fully automated
databases
information systems
multi agent
automated analysis
data driven
clustering algorithm
case study
natural language
information technology
artificial neural networks
semi automatic
context sensitive
learning algorithm
neural network
database