Inferring and securing software configurations using automated reasoning.
Paul GazzilloPublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- decision procedures
- reasoning tasks
- probabilistic reasoning
- software systems
- software development
- automated verification
- knowledge representation and reasoning
- image segmentation
- first order logic
- artificial intelligence
- situation calculus
- information security
- constraint satisfaction
- source code
- markov random field
- pairwise
- high level