Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution.

Yigong Hu Gongqi Huang Peng Huang

Published in: CoRR (2020)

Keyphrases

automated reasoning
reasoning systems
symbolic execution
knowledge representation
theorem proving
neural network
theorem prover
orders of magnitude