Login / Signup
Correctness Property Proof for the Banking System for Money Transfer Payments.
Yulia Ostapovska
Taras Panchenko
Nataliya Polishchuk
Mykita Kartavov
Published in:
UkrPROG (2016)
Keyphrases
</>
financial institutions
provably correct
knowledge transfer
decision trees
transfer learning
theorem prover
theorem proving
data sets
desirable properties
cross domain
credit card
mathematical proofs
retail banking