Verification of C Programs Using Automated Reasoning.
David CrockerJudith CarltonPublished in: SEFM (2007)
Keyphrases
- automated reasoning
- automated verification
- reasoning systems
- decision procedures
- probabilistic reasoning
- theorem prover
- knowledge representation
- theorem proving
- reasoning tasks
- hardware designs
- symbolic execution
- neural network
- knowledge representation and reasoning
- model checking
- answer sets
- formal verification
- propositional satisfiability
- bayesian networks