Iteratively Checking Program Properties Involving Non-Boolean Values.

Published in: DSN (Supplements) (2021)

Keyphrases

imperative programs
machine learning
data sets
neural network
real world
case study
search algorithm
artificial neural networks
standard deviation
boolean functions
desirable properties
closed sets
boolean queries
truth values