Symbolic Computation and Automated Reasoning for Program Analysis.
Laura KovácsPublished in: CoRR (2017)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- reasoning tasks
- decision procedures
- probabilistic reasoning
- imperative programs
- automated verification
- expert systems
- knowledge representation and reasoning
- bayesian networks
- propositional satisfiability
- first order logic