Zipline - A Fault-Proof Blocker Header Oracle.

Willem C. Olding Eric Tu Cayman Nava

Published in: ICBC (2023)

Keyphrases

fault diagnosis
fault detection
data mining
automated theorem proving
database
oracle database
theorem prover
database security
logical rules
multiple faults
databases
real world
control system
theorem proving
natural deduction
mathematical proofs