Checking Accountability with a Prover.

Walid Benghabrit Hervé Grall Jean-Claude Royer Mohamed Sellami

Published in: COMPSAC (2015)

Keyphrases

theorem proving
theorem prover
metadata
website
consistency checking
constraint checking
databases
data mining
database systems
multi agent
search algorithm