Auditing User-Provided Axioms in Software Verification Conditions.

Paul B. Jackson Florian Schanda Angela Wallenburg

Published in: FMICS (2013)

Keyphrases

sufficient conditions
first order logic
knowledge base
artificial neural networks
learning algorithm
artificial intelligence
lower bound
environmental conditions
metadata
case study
evolutionary algorithm
access control
logic programming
statistical databases