Program synthesis for interactive-security systems.

William R. Harris Somesh Jha Thomas W. Reps Sanjit A. Seshia

Published in: Formal Methods Syst. Des. (2017)

Keyphrases

security systems
program synthesis
rule based systems
security mechanisms
recursive programs
relational learning
neural network
relational databases
domain knowledge
e government