Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning.
Kevin BierhoffPublished in: Onward! (2011)
Keyphrases
- lightweight
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- reasoning tasks
- probabilistic reasoning
- development environments
- communication infrastructure
- access control
- high level
- dos attacks
- wireless sensor networks
- first order logic
- neural network
- bayesian networks
- knowledge base
- machine learning