Cartesian hoare logic for verifying k-safety properties.

Marcelo Sousa Isil Dillig

Published in: PLDI (2016)

Keyphrases

desirable properties
machine learning
database systems
model checking
structural properties
classical logic
neural network
case study
bayesian networks
logic programming
formal language
algebraic structure