Robbing the Bank with a Theorem Prover - (Abstract).
Paul YounBen AdidaMike BondJolyon ClulowJonathan HerzogAmerson LinRonald L. RivestRoss J. AndersonPublished in: Security Protocols Workshop (2007)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- inference rules
- term rewriting
- first order logic
- automated theorem proving
- computer algebra
- automated deduction
- formal proof
- natural deduction
- higher order logic
- formal semantics
- timed automata
- higher level
- proof search
- genetic algorithm
- boolean algebra
- high level
- scheduling problem
- decision trees
- data mining
- mathematical knowledge