Sign in
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